Conference Prsentations (Oral, Poster) -
-
Chordal Clause の包摂アルゴリズムについて
情報科学
第61回人工知能学会基本問題研究会, 人工知能学会研究会資料 SIG-FPAI-A503
-
帰納的実数値関数の有限予測と無矛盾推論
北九州市立大学
第61回人工知能学会基本問題研究会, 人工知能学会研究会資料 SIG-FPAI-A503
-
根付き順序木のグラム分散
情報科学
第61回人工知能学会基本問題研究会 人工知能学会研究会資料 SIG-FPAI-A503
-
ラベル無し順序木のqグラム距離
情報科学専攻, 大倉暢仁
コンピュテーション研究会, 信学技法 COMP2005-31
-
拍節認識を用いた自動採譜システム
情報科学専攻, 佐倉卓馬
第58回電気関係学会九州支部連合大会
-
汎用自動証明システムのWebアプリケーションとしての再構築
情報科学専攻, 尹淑萍
第58回電気関係学会九州支部連合大会
-
極大頻出疎重複単調DNF式の抽出
情報科学専攻
第58回電気関係学会九州支部連合大会
-
マルチエージェントシミュレーションによる交通流制御
情報科学専攻, 小野浩資
第58回電気関係学会九州支部連合大会
-
初心者のための器楽演奏練習支援システム
情報科学専攻,尾崎昭剛
第58回電気関係学会九州支部連合大会
-
極大非巡回部分節を用いた包摂アルゴリズム
情報科学専攻, 桑原恵
第58回電気関係学会九州支部連合大会
-
ラベル無し順序木のqグラム距離
情報科学専攻
第58回電気関係学会九州支部連合大会
-
スキーマ誘導方式を用いたシークェント形式汎用定理自動証明器の開発
情報科学専攻, 尹淑萍
夏のLAシンポジウム2005
-
マルチエージェントモデルを用いた汎用交通流シミュレータの作成
情報科学専攻, 小野浩資
火の国情報シンポジウム2005
-
マルチエージェントモデルを用いた交通流制御システムに関する研究
情報科学専攻, 前谷豊文
火の国情報シンポジウム2005
-
非巡回部分超グラフの抽出について
情報科学専攻研究生, 桑原恵
火の国情報シンポジウム2005
-
シークェント形式自然演繹体系における自動証明
情報科学専攻, 尹淑萍
火の国情報シンポジウム2005
-
頻出疎重複単調DNF式の抽出
情報科学専攻, 島義和
火の国情報シンポジウム2005
-
マルチエージェントモデルに基づく交通流シミュレーションシステムの開発
情報科学専攻, 畑貴司
火の国情報シンポジウム2005
-
節の非巡回化について
本人
第57回人工知能学会基本問題研究会
-
補題を用いた類推自動証明システム
情報科学専攻
第57回電気関係学会九州支部連合大会