Jump to main content

yr 〜
yr

Search results 33

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

コンピューティング : 原理とその展開 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
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- 鈴木, 泰博, 1968-

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

ナチュラルコンピューティング・シリーズ 第4巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2018.5<M121-L510>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 西田, 泰伸, 1955-

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

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

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

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

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-

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

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

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

ナチュラルコンピューティング・シリーズ 第6巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2015.10<M121-L175>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 西野, 哲朗, 1959- 岡本...

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

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

光計算 (ナチュラルコンピューティング・シリーズ ; 第1巻)

光計算 (ナチュラルコンピューティング・シリーズ ; 第1巻)
PaperDigital図書
谷田純 著近代科学社2011.3<M154-J250>
National Diet LibraryOther Libraries in Japan
  • Author Heading谷田, 純 萩谷, 昌己, 1957- 横森, 貴, 1951-

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

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

DNAロボット : 生命のしかけで創る分子機械 (岩波科学ライブラリー ; 153)

DNAロボット : 生命のしかけで創る分子機械 (岩波科学ライブラリー ; 153)
Paper図書
萩谷昌己, 西川明男 著岩波書店2008.12<RA111-J47>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 西川, 明男, 1963-

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

ナチュラルコンピューティング・シリーズ 第3巻
PaperDigital図書
萩谷昌己, 横森貴 編近代科学社2012.11<M121-L1>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 横森, 貴, 1951- 堀尾, 喜彦 安達, 雅春 池口...

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

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

論理と計算のしくみ

論理と計算のしくみ
Paper図書
萩谷昌己, 西崎真也 著岩波書店2007.6<MA41-H51>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 西崎, 真也

Natural Computing : 2nd International Workshop on Natural Computing Nagoya,Japan December 2007 : proceedings (Proceedings in information and communications technology : PICT ; 1)

Natural Computing : 2nd International Workshop on Natural Computing Nagoya,Japan December 2007 : proceedings (Proceedings in information and communications technology : PICT ; 1)
Paper図書
editor Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew AdamatzkySpringerc2009<M18-B864>
National Diet LibraryOther Libraries in Japan
  • Author Heading鈴木, 泰博, 1968- 萩谷, 昌己, 1957- 梅尾, 博司, 1949-

DNAナノエンジニアリング (ナチュラルコンピューティング・シリーズ ; 第2巻)

DNAナノエンジニアリング (ナチュラルコンピューティング・シリーズ ; 第2巻)
PaperDigital図書
小宮健, 瀧ノ上正浩, 田中文昭, 浜田省吾, 村田智 共著近代科学社2011.4<RA111-J118>
National Diet LibraryOther Libraries in Japan
  • Author Heading小宮, 健 瀧ノ上, 正浩 田中, 文昭 萩谷, 昌己, 1957- 横森, 貴, 1951-

化学系・生物系の計算モデル (アルゴリズム・サイエンスシリーズ ; 16(適用事例編))

化学系・生物系の計算モデル (アルゴリズム・サイエンスシリーズ ; 16(適用事例編))
Paper図書
萩谷昌己, 山本光晴 著共立出版2009.9<PA23-J61>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 山本, 光晴 杉原, 厚吉, 1948- 室田, 一雄, ...

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
PaperDigital図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 吉岡, 信和 青木, 利晃 田原, 康之 本位田, 真一,...
RSS