/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2011ホーム /

戸次 大介

氏名戸次 大介
ふりがなべっき だいすけ
所属お茶の水女子大学 大学院人間文化創成科学研究科

発表リスト

06月03日(Fri) 13:00〜17:30 H会場(63名-学習室1(県大7F))
題目3H2-OS3-1 部分方向性組み合わせ論理の計算論的性質
著者尾崎 博子 戸次 大介
論文PDFファイル

06月03日(Fri) 13:00〜17:30 H会場(63名-学習室1(県大7F))
題目3H2-OS3-2 前提記述のための動的論理の証明論構築に向けて
著者石下 裕里 戸次 大介
論文PDFファイル

06月03日(Fri) 13:00〜17:30 H会場(63名-学習室1(県大7F))
題目3H2-OS3-3 条件論理C_bとそのタブローシステム
著者尾崎 有梨 戸次 大介
論文PDFファイル