yr 〜
yr

Search results 239

コンピューティング : 原理とその展開 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)

コンピューティング : 原理とその展開 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
Paper図書
萩谷昌己 著放送大学教育振興会2019.3<M151-M83>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957-

ナチュラルコンピューティング・シリーズ 第7巻

ナチュラルコンピューティング・シリーズ 第7巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2023.2<M121-M599>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 鈴木, 泰博, 1...

グラフからマルチセットへの時相論理を用いた抽象化

グラフからマルチセットへの時相論理を用いた抽象化
Paper図書
萩谷昌己, 東京大学 [著][萩谷昌己]2006-2007<Y151-H18500003>
National Diet Library
  • Author Heading萩谷, 昌己 東京大学

ナチュラルコンピューティング・シリーズ 第0巻

ナチュラルコンピューティング・シリーズ 第0巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2015.11<M121-L187>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 小林, 聡, 19...

分子プログラミング

分子プログラミング
Paper図書
萩谷昌己, 東京大学 [著][萩谷昌己]2002-2006<Y151-TR766-001>
National Diet Library
  • Author Heading萩谷, 昌己 東京大学

ナチュラルコンピューティング・シリーズ 第4巻

ナチュラルコンピューティング・シリーズ 第4巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2018.5<M121-L510>
National Diet LibraryOther Libraries in Japan
  • Author introduction西田 泰伸：富山県立大学工学部 准教授 萩谷 昌巳：東京大学教授 横森 貴：早稲田大学　教授
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 西田, 泰伸, 1...

コンピューティング : 原理とその展開

コンピューティング : 原理とその展開
Paper図書
萩谷昌己著放送大学教育振興会2019.3
Other Libraries in Japan
  • Author Heading萩谷, 昌己

コンピューティング : 原理とその展開 : 情報学プログラム : 自然環境科学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)

コンピューティング : 原理とその展開 : 情報学プログラム : 自然環境科学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
Paper図書
川合慧, 萩谷昌己 著放送大学教育振興会2015.3<M159-L632>
National Diet LibraryOther Libraries in Japan
  • Author Heading川合, 慧, 1944- 萩谷, 昌己, 1957-

情報システム (東京大学工学教程 ; 情報工学)

情報システム (東京大学工学教程 ; 情報工学)
Paper図書
萩谷昌己 著丸善出版2016.11<M154-L268>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 東京大学

論理と計算のしくみ オンデマンド版

論理と計算のしくみ オンデマンド版
Paper図書
萩谷昌己, 西崎真也著岩波書店2017.2
Other Libraries in Japan
  • Author Heading萩谷, 昌己 西崎, 真也

Abstract Model Checking and Its Applications : 抽象モデル検査とその応用

Abstract Model Checking and Its Applications : 抽象モデル検査とその応用
Paper図書
萩谷, 昌己, 東京大学1999-2001<Y151-H11480062>
National Diet Library
  • Author Heading萩谷, 昌己

コンピューティング : 原理とその展開

コンピューティング : 原理とその展開
Paper図書
川合慧, 萩谷昌己著放送大学教育振興会2015.3
Other Libraries in Japan
  • Author Heading川合, 慧 萩谷, 昌己

可逆計算 (ナチュラルコンピューティング・シリーズ = Natural Computing ; 第5巻)

可逆計算 (ナチュラルコンピューティング・シリーズ = Natural Computing ; 第5巻)
PaperDigital図書
森田憲一 著近代科学社2012.3<M121-J217>
National Diet LibraryOther Libraries in Japan
  • Author introduction森田 憲一：広島大学 教授 萩谷 昌巳:東京大学　教授 横森 貴:早稲田大学 教授
  • Author Heading森田, 憲一 萩谷, 昌己, 1957- 横森, 貴, 1951-

Recent advances in natural computing : selected results from the IWNC 8 Symposium (Mathematics for industry ; volume 14)

Recent advances in natural computing : selected results from the IWNC 8 Symposium (Mathematics for industry ; volume 14)
Paper図書
Yasuhiro Suzuki, Masami Hagiya editorsSpringerc2015<M121-B140>
National Diet Library
  • Author Heading鈴木, 泰博, 1968- 萩谷, 昌己, 1957-

Recent advances in natural computing : selected results from the IWNC 7 Symposium (Mathematics for industry ; volume 9)

Recent advances in natural computing : selected results from the IWNC 7 Symposium (Mathematics for industry ; volume 9)
Paper図書
Yasuhiro Suzuki, Masami Hagiya editorsSpringerc2015<M121-B128>
National Diet LibraryOther Libraries in Japan
  • Author Heading鈴木, 泰博, 1968- 萩谷, 昌己, 1957-

基礎情報科学 (放送大学大学院教材)

基礎情報科学 (放送大学大学院教材)
Paper図書
川合慧, 萩谷昌己 著放送大学教育振興会2009.3<M121-J84>
National Diet LibraryOther Libraries in Japan
  • Author Heading川合, 慧, 1944- 萩谷, 昌己, 1957-

人間と計算機の協調の視点に立った問題解決のための文書編集環境

人間と計算機の協調の視点に立った問題解決のための文書編集環境
Paper図書
萩谷, 昌己, 東京大学1996-1998<Y151-H08680348>
National Diet Library
  • Author Heading萩谷, 昌己

ナチュラルコンピューティング・シリーズ 第6巻

ナチュラルコンピューティング・シリーズ 第6巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2015.10<M121-L175>
National Diet LibraryOther Libraries in Japan
  • Author introductionシリーズ編集委員　萩谷 昌巳：東京大学教授 シリーズ編集委員　横森 貴：早稲田大学教授 ...
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 西野, 哲朗, 1...

情報システム = Information systems

情報システム = Information systems
Paper図書
東京大学工学教程編纂委員会編 ; 萩谷昌己著東京大学2016.3
Other Libraries in Japan
  • Author Heading東京大学工学教程編纂委員会 萩谷, 昌己

数理的技法による情報セキュリティ (シリーズ応用数理 ; 第1巻)

数理的技法による情報セキュリティ (シリーズ応用数理 ; 第1巻)
Paper図書
萩谷昌己, 塚田恭章 編共立出版2010.7<M151-J238>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 塚田, 恭章 日本応用数理学会