[[過去のセミナー]]
** 2014年度 セミナー [#baeacab8]
-世話人: [[溝口 佳寛:http://imi.kyushu-u.ac.jp/~ym/]]（九大IMI），[[谷口 哲至:http://researchmap.jp/tetsuzit-14/]]（松江高専），[[島袋 修:http://researchmap.jp/read0093535]]（長崎大），田上真（九州工大）,栗原大武（北九州高専）,千葉周也(熊本大)
Organizers:~
[[Yoshihiro Mizoguchi:http://imi.kyushu-u.ac.jp/~ym/]] (Kyushu University),~
[[Tetsuji Taniguchi:http://researchmap.jp/tetsuzit-14/]] (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日(土) [#vffe0466]
-場所: 九州大学 [[西新プラザ:http://www.kyushu-u.ac.jp/university/institution-use/nishijin/index.htm]] 中会議室(2F)~
(Location: Lecture Hall A, [[Nishijin Plaza:http://www.kyushu-u.ac.jp/university/institution-use/nishijin/english.htm]], Kyushu University)
-時間: 14:00-17:30
-講演者: 三枝崎剛(山形大学),島袋修(長崎大学),貝原慎一郎(九州大学),木村健司(石巻専修大学)
-プログラム(Program)
||~講演者(Speaker)|~タイトル(Title)|
|14:00-14:05|>|開会宣言（谷口 哲至）&br; Opening (Tetsuji Taniguchi)|
|14:05-14:50|[[三枝崎 剛>#miezaki-01]]&br; (Tsuyoshi Miezaki)|デザイン理論から見た，符号，格子及び頂点作用素代数の一つの 類似&br; (A design-theoretic analogy between codes, lattices, and vertex operator algebras)|
|15:00-15:45|[[島袋 修>#shimabukuro-01]]&br; (Osamu Shimabukuro)|グラスマングラフのモジュラー隣接代数&br; (Modular adjacency algebras of Grassmann graphs)|
|16:00-16:25|[[貝原 慎一郎>#kaihara-01]]&br; (Shin’ichiro Kaihara)|最適化問題の制約式の必要十分性について&br; (equivalence of constraint equation in optimization problem)|
|16:35-17:20|[[木村 健司>#kimura-01]]&br; (KIMURA Kenji)|正則グラフにおける因子&br;(Some factors in regular graphs)|
|17:20-17:25|>|総括（溝口 佳寛）&br; Closing (Yoshihiro Mizoguchi)|
#br
-アブストラクト(Abstract)
***三枝崎 剛(山形大学地域教育文化学部) [#miezaki-01]
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符
号に関するデザインの非存在が示せた．
***島袋 修(長崎大学教育学部) [#shimabukuro-01]
Osamu Shimabukuro(Nagasaki University)
-タイトル(Title):グラスマングラフのモジュラー隣接代数~
(Modular adjacency algebras of Grassmann graphs)
-アブストラクト(Abstract):
アソシエーションスキームの隣接代数は任意の体上で定義できる。一般に、標数'''0'''の体上では半単純になるが、正標数の体上では半単純になるとは限らない。
正標数の体上の隣接代数の構造はあまり研究されていない。
この講演では、クラス'''d'''の'''P'''多項式スキームで交叉数&mimetex(c_i \not\equiv 0); mod '''p''' for &mimetex(1 \leq i \leq d);の標数'''p'''上の隣接代数の構造を考える。このような'''P'''多項式スキームには、あるパラメータをもつGrassmann graphs, double Grassmann graphs, dual polar graphsが含まれる。また、それ以外のパラメータに対してGrassmann graphのモジュラー隣接代数の構造を扱う。この研究は吉川昌慶氏(梓川高等学校教諭)との共同研究である。
***貝原 慎一郎(九州大学大学院数理学府) [#kaihara-01]
Shin’ichiro Kaihara(Kyushu University)
-タイトル(Title):組合せ最適化問題に対する制約式の健全性について~
(Soundness of constraint equations for a combinatorial optimization problem)
-アブストラクト(Abstract):
整数計画問題に代表される最適化問題は近年の計算機能力の向上だけでなく数理最適化ソルバーの性能の向上により産業界でも業界を問わず活躍するようになってきた。実問題を整数計画問題へ還元する際には, 実問題の仕様記述と制約式との同値性の検証が重要な課題のひとつである。今回は鉛筆パズルの一種であるナンバーリンクを例にとって、「問題を定式化した論理式」と「制約式として利用できる線形な式」が同値であることを証明し、実際に最適化ソルバーGurobiを用いて解の計算を行う。また、同値証明のなされていない既存の制約式も用いた具体的な誤った解答例も紹介し、解の信頼性のための同値性の検証の重要性を述べる。
***木村 健司(石巻専修大学理工学部) [#kimura-01]
KIMURA Kenji(Ishinomaki Senshu University)
-タイトル(Title):正則グラフにおける因子~
(Some factors in regular graphs)
-アブストラクト(Abstract):
'''G = (V, E)''' をグラフとしたとき、'''G''' の因子とは
次数にある条件を付けた全域部分グラフのことである。
例えば、'''G''' 中の任意の頂点 '''v''' に対して、
'''v''' の次数が '''k''' となる全域部分グラフを '''k'''-因子と呼ぶ。
正則グラフにおける因子の研究は昔から行われているが、
講演者は辺の帰属を定めた場合の結果を得た。
また、正則グラフから '''1''' 頂点削除したグラフにおける因子
に関する結果も得た。~
本講演では講演者が証明した結果とその証明方法について紹介する。
