口頭発表・ポスター発表等 - 平田 耕一
-
埋め込まれた2葉木の列挙
大倉暢仁
火の国情報シンポジウム2006
-
弦節の包摂問題と包摂アルゴリズム
大倉暢仁
火の国情報シンポジウム2006
-
共通構造の数え上げによる半構造データカーネルの設計
久保山哲二(東京大学)
電子情報通信学会第17回データ工学ワークショップ・第4回日本データベース学会年次大会(DEWS2006)
-
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