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

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 過去のセミナー/2014年度 へ行く。
  • 1 (2014-06-18 (水) 01:29:09)
  • 2 (2014-06-18 (水) 01:30:52)
  • 3 (2014-07-02 (水) 04:39:26)
  • 4 (2014-07-04 (金) 08:32:55)
  • 5 (2014-07-06 (日) 23:08:08)
  • 6 (2014-07-09 (水) 02:56:51)
  • 7 (2014-07-09 (水) 08:37:51)
  • 8 (2014-07-10 (木) 09:46:35)
  • 9 (2014-10-04 (土) 05:03:49)
  • 10 (2014-10-07 (火) 00:02:13)
  • 11 (2014-10-08 (水) 08:49:18)
  • 12 (2014-10-15 (水) 07:49:33)
  • 13 (2014-10-16 (木) 03:42:14)

---

過去のセミナー

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

三枝崎 剛(山形大学地域教育文化学部)†

 Tsuyoshi Miezaki(Yamagata University)

• タイトル(Title):デザイン理論から見た，符号，格子及び頂点作用素代数の一つの 類似
   (A design-theoretic analogy between codes, lattices, and vertex operator algebras)

• アブストラクト(Abstract): 符号，格子及び頂点作用素代数の３者は，数多くの類似した性質を持つ．例えば， ３者共に「自己双対」や「最小距離」という概念が定義され，また３者から自然 な方法で「デザイン」が構成される．更にAssmus-Mattson型の定理と呼ばれる， 「自己双対で最小距離の大きな符号，格子及び頂点作用素代数から，良い組合せ デザイン，球面デザイン及び共形デザインが構成される」という結果もある．
  本講演では，Assmus-Mattson型の定理における極限的という仮定を外したとき， それぞれのデザイン理論的な性質の類似はどこまで成立するのか，多くの具体例 を通して議論する．その応用として，特別なeven unimodular 格子，type II符 号に関するデザインの非存在が示せた．