2003年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
A-054多値分類問題に対するブースティングの困難さについて

田中　恭,  瀧本　英二,  丸岡　章,  

A-055絡み目多項式の係数の計算量

原　正雄,  谷　聖一,  山本　慎,  

A-056閉3組み紐絡み目のジョーンズ多項式を計算する線形時間アルゴリズム

村上　雅彦,  原　正雄,  山本　慎,  谷　聖一,  

A-057実数上のシステムパラメータを持つ有限オートマトン

渡辺　浩司,  猪飼　武夫,  福永　邦雄,  

LA-008分割と併合に基づくブースティング

竹内　寛明,  柳下　英輝,  瀧本　英二,  丸岡　章,  

LA-009高階関数型プログラムにおける帰納的定理証明

青戸　等人,  山田　俊行,  外山　芳人,