yr 〜
yr

Search results 15

Artificial Intelligence Accelerates Human Learning : discussion Data Analytics

Artificial Intelligence Accelerates Human Learning : discussion Data Analytics
Paper図書
Katashi Nagao.Springer[2019]<M121-D16>
National Diet Library
  • Author Heading (ID)00203760

ディスカッションを科学する : 人間と人工知能の共生

ディスカッションを科学する : 人間と人工知能の共生
Paper図書
長尾確 著慶應義塾大学出版会2018.1<M121-L455>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00203760

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Paper図書
レイモンド・スマリヤン 著, 田中朋之, 長尾確 訳白揚社2008.5<MA41-J8>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00204921 00203760

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
Paper図書
レイモンド・スマリヤン 著, 長尾確, 長尾加寿恵 訳白揚社2008.5<MA41-J9>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00203760 00537561

スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問

スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問
Paper図書
レイモンド・スマリヤン 著, 長尾確 訳白揚社2007.12<MA41-J1>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00203760

Digital content annotation and transcoding / Katashi Nagao. (Artech House digital audio and video library)

Digital content annotation and transcoding / Katashi Nagao. (Artech House digital audio and video library)
Paper図書
Artech Housec2003.<M154-B12>
National Diet Library
  • Author Heading (ID)00203760

環境と人間に適応し協調的に行動する個人用知的小型移動体システム

環境と人間に適応し協調的に行動する個人用知的小型移動体システム
Paper図書
長尾確, 名古屋大学 [著][長尾確]2004-2006<Y151-H16300044>
National Diet Library
  • Author Heading (ID)00203760 00260057

エージェントテクノロジー最前線

エージェントテクノロジー最前線
Paper図書
長尾確 編著共立出版2000.7<M121-G236>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00203760

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
Paper図書
レイモンド・スマリヤン 著, 長尾確, 長尾加寿恵 訳白揚社2001.3<MA41-G69>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00203760 00537561

マルチエージェントシステム (分散協調メディアシリーズ ; 11)

マルチエージェントシステム (分散協調メディアシリーズ ; 11)
Paper図書
沼岡千里, 大沢英一, 長尾確 共著共立出版1998.2<M121-G120>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00675715 00559501 00203760

インタラクティブな環境をつくる (認知科学モノグラフ ; 2)

インタラクティブな環境をつくる (認知科学モノグラフ ; 2)
Paper図書
長尾確 著共立出版1996.12<DK411-G180>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00203760

人はなぜ話すのか : 知能と記憶のメカニズム

人はなぜ話すのか : 知能と記憶のメカニズム
Paper図書
ロジャー・C.シャンク 著, 長尾確, 長尾加寿恵 訳白揚社1996.12<SB81-G8>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00455467 00203760 00537561

自然言語理解のための意味・文脈処理に関する研究

自然言語理解のための意味・文脈処理に関する研究
PaperDigital博士論文障害者向け資料あり
長尾確 [著]<UT51-95-T491>
Available onlineNational Diet Library
  • Author Heading (ID)00203760

無限のパラドックス : パズルで学ぶカントールとゲーデル

無限のパラドックス : パズルで学ぶカントールとゲーデル
PaperDigital図書
レイモンド・スマリヤン 著, 長尾確 訳白揚社1994.3<MA41-E83>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00203760

決定不能の論理パズル : ゲーデルの定理と様相論理

決定不能の論理パズル : ゲーデルの定理と様相論理
PaperDigital図書
レイモンド・スマリヤン 著, 長尾確, 田中朋之 訳白揚社1990.11<MA41-E45>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00203760 00204921

Reached to the end of result.