北海道科学大学OPAC

ようこそ  ゲスト さん

ナガオ, カタシ

長尾, 確(1962-)

著者名典拠詳細を表示

1 ディスカッションを科学する : 人間と人工知能の共生 / 長尾確著 東京 : 慶応義塾大学出版会 , 2018.1
2 スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ / レイモンド・スマリヤン著 ; 長尾確, 長尾加寿恵訳 東京 : 白揚社 , 2008.5
3 スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳 東京 : 白揚社 , 2008.5
4 スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問 / レイモンド・スマリヤン著 ; 長尾確訳 東京 : 白揚社 , 2007.12
5 エージェントテクノロジー最前線 / 長尾確編著 東京 : 共立出版 , 2000.7
6 マルチエージェントシステム / 沼岡千里, 大沢英一, 長尾確共著 東京 : 共立出版 , 1998.2
7 インタラクティブな環境をつくる / 長尾確著 ; 日本認知科学会編 東京 : 共立出版 , 1996.12
8 無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳 東京 : 白揚社 , 1994.3
9 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11

書誌詳細に戻る ページトップ