/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2009ホーム
/
2H1-2 位相と推論(1b)
06月18日(Thu) 09:00〜10:20 H会場(ホール棟6F-64室)
2H1 基礎・理論「プランニング」
演題番号
2H1-2
題目
位相と推論(1b)
著者
村井 哲也(北海道大学)
生方 誠希(北海道大学)
工藤 康生(室蘭工業大学)
時間
06月18日(Thu) 09:20〜09:40
概要
位相と推論の関係に関して様相論理のScott-Montague(近傍)フレームの観点から考察する．
論文
PDFファイル