| c | n | 4-00-007685-X | Common LISP入門 | 湯淺太一・萩谷昌己 | 岩波書店 | 岩波コンピュータサイエンス | [書誌] |
| c | n | 4-535-60817-2 | 関数プログラミング | 萩谷昌己 | 日本評論社 | 情報数学セミナー | [書誌] |
| c | n | 4-563-01549-0 | DNAコンピュータ | 萩谷昌己・横森貴編 | 培風館 | - | [書誌] |
| c | n | 9784000076852 | Common LISP入門 | 湯淺太一・萩谷昌己 | 岩波書店 | 岩波コンピュータサイエンス | [書誌] |
| c | n | 9784535608177 | 関数プログラミング | 萩谷昌己 | 日本評論社 | 情報数学セミナー | [書誌] |
| c | n | 9784563015497 | DNAコンピュータ | 萩谷昌己・横森貴編 | 培風館 | - | [書誌] |
| c3335 | n00763 | 4-00-010351-2 | ソフトウェア科学のための論理学 | 萩谷昌己 | 岩波書店 | 岩波講座ソフトウェア科学-11- | [書誌] |
| c3335 | n00763 | 9784000103510 | ソフトウェア科学のための論理学 | 萩谷昌己 | 岩波書店 | 岩波講座ソフトウェア科学-11- | [書誌] |
|
2000年・
2001年・
2002年・
2003年・
2004年 2005年・ 2006年・ 2007年・ 2008年・ 2009年 2010年・ 2011年・ 2012年・ 2013年・ 2014年 2015年・ 2016年・ |