トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS

過去のセミナー/2014年度 の履歴(No.3)


過去のセミナー

2014年度 セミナー

  • 世話人: 溝口 佳寛(九大IMI),谷口 哲至(松江高専),島袋 修(長崎大),田上真(九州工大),栗原大武(北九州高専),千葉周也(熊本大)

Organizers:
  Yoshihiro Mizoguchi (Kyushu University),
  Tetsuji Taniguchi (Matsue College of Technology),
  Osamu Shimabukuro (Sojo University),
  Makoto Tagami ( Kyushu Institute of Technology),
  Hirotake Kurihara (Kitakyushu National College of Technology),
  Shuya Chiba (Kumamoto University)

  • アドバイザー: 坂内 英一(上海交通大学/九州大学)

Advisary:
  Eiichi Bannai (Shanhai Jiao Tong University / Kyushu University)

第1回 2014年 7月19日(土)

  • 場所: 九州大学 西新プラザ 中会議室(2F)
    (Location: Lecture Hall A, Nishijin Plaza, Kyushu University)
  • 時間: 13:00-18:00
  • 講演者: 三枝崎剛(山形大学),島袋修(長崎大学),貝原慎一郎(九州大学),木村健司(石巻専修大学)
  • プログラム(Program) 未定
 
  • アブストラクト(Abstract)

貝原 慎一郎(九州大学大学院数理学府)

 Shin’ichiro Kaihara(Kyushu University)

  • タイトル(Title):最適化問題の制約式の必要十分性について
     (equivalence of constraint equation in optimization problem)
  • アブストラクト(Abstract):

整数計画問題に代表される最適化問題は近年の計算機能力の向上だけでなく数理最適化ソルバーの性能の向上により産業界でも業界を問わず活躍するようになってきた。実問題を整数計画問題へ還元する際には, 実問題の仕様記述と制約式との同値性の検証が重要な課題のひとつである。今回は鉛筆パズルの一種であるナンバーリンクを例にとって、「問題を定式化した論理式」と「制約式として利用できる線形な式」が同値であることを証明し、実際に最適化ソルバーGurobiを用いて解の計算を行う。また、同値証明のなされていない既存の制約式も用いた具体的な誤った解答例も紹介し、解の信頼性のための同値性の検証の重要性を述べる。

島袋 修(長崎大学)

 Osamu Shimabukuro(Nagasaki University)

  • タイトル(Title):グラスマングラフのモジュラー隣接代数
     (Modular adjacency algebras of Grassmann graphs)
  • アブストラクト(Abstract):

アソシエーションスキームの隣接代数は任意の体上で定義できる。一般に、標数0の体上では半単純になるが、正標数の体上では半単純になるとは限らない。 正標数の体上の隣接代数の構造はあまり研究されていない。 この講演では、クラスdP多項式スキームで交叉数 mod p for の標数p上の隣接代数の構造を考える。このようなP多項式スキームには、あるパラメータをもつGrassmann graphs, double Grassmann graphs, dual polar graphsが含まれる。また、それ以外のパラメータに対してGrassmann graphのモジュラー隣接代数の構造を扱う。この研究は吉川昌慶氏(梓川高等学校教諭)との共同研究である。