New Unified Environment Research Project

Thank you for your interests in our project.

This page is always 工事中. (English page)

---

[新着情報 | NUEとは? | メンバー | 書籍 | 歴史 | 文書 | 出版物 | 情報 | Silent | 編集 | 文献 | リンク ]

---

M.C. Escher の Square Limit と Circle Limit

SICP (Structure and Interpretation of Computer Programs) 『計算機プログラムの構造と解釈』 の図形言語を応用 in TUT Scheme(2006.1.1)

ニッポンの挑戦「インターネットの夜明け」

(NHKエンタープライズ制作, Yahoo! Japan 配信) にメンバー多数登場 (2005.5.24)

竹内郁雄氏、東京大学情報理工学系研究科の新しい大学院 創造情報学専攻教授に就任 (2005.4.1)

鵺ケーキの画像 (2003.12.25)

お年玉として携帯用の壁紙を作成しました (平成15年1月2日)

「未踏ユース」が始まりました！ (平成14年7月4日)

日経BP技術賞 情報通信部門賞受賞 「自立したネットワーク間の経路障害を自動検出する ENCORE」 明石 修, 丸山 充, 菅原俊治, 村上健一郎, 小柳恵一, 高橋直久 (2002.4.5)

「日本語, 好きですか?」 竹内郁雄, インタラクティブ・エッセイ, 情報処理学会誌, Vol.39, No.5)

ミラー (編集委員会)

NUE メンバーによる著作物

"Advanced Lisp Technology" (Eds. T. Yuasa and H.G. Okuno, Taylor and Francis, 2002)

"Computational Auditory Scene Analysis" (Eds. D. Rosenthal and H.G. Okuno, Lawrence Erlbaum Associates, 1998) contents )

PCクラスタ構築法 − Linux によるベオウルフ・システム』 (北野監訳、奥乃他訳) が産業図書

『新科学対話』(竹内郁雄著, アスキー, 2,200円)

『インターネット活用術』岩波科学ライブラリー 44 (奥乃博著, 岩波書店, 1,000円)

『インターネット』岩波科学ライブラリー 17 (村上健一郎著, 岩波書店, 1,000円)

1997年4月1日: TAK 関数

1997年3月16日: Tak とその時代 (1974年頃).

1997年3月16日: 鵺祭 (1985年1月29日, 伊豆長岡温泉).

1997年3月10日: 竹内郁雄氏卒業パーティ

1996年7月27日: Webster Hypertext Webster's 7th Dictionary Interface with Readers Dictionary (アクセス制限あり)

1996年7月25日: TAO マニュアル

1996年7月13日: FormBoy Form Assistant

1996年7月3日: NUE シール

1996年4月25日: 後藤滋樹氏卒業パーティ

The project develops a symbolic manipulation processor hardware and software for research.

Ledendary Japanese "Chimera".

• Click here to see the details.

• の 原画は,
  外山 芳人氏 (東北大学電気通信研究所)によって描かれました.
  外山研究室のページにはNUE の原画がありました.
  少し変更したPostscript.

• 三上 博英氏による 修正版.

• 拡大すると大福帳がご覧になれます.

• NUEロゴ は, 竹内 郁雄氏のデザインです.
• 携帯用の壁紙
  • 240x312 dots
  • 240x312 dots in blue
  • 120x160 dots
  • 120x160 dots
  • 120x120 dots
  • 100x120 dots
  • 96x120 dots
  • 96x108 dots
  • 96x78 dots
  ドコモの端末スペック からお使いの携帯端末の画面領域を見つけて下さい.

メンバー

竹内 郁雄, 東京大学大学院情報理工学系研究科 創造情報学専攻 教授

日比野 靖, 北陸先端科学技術大学院大学 情報科学研究科 教授

今田 俊明, Institute for Learning and Brain Sciences, University of Washington.

奥乃 博, 京都大学大学院情報学研究科 知能情報学専攻 教授.

大里 延康, 大阪工業大学 情報科学部 情報システム学科. 教授.

三上 博英, NTTソフトウエア.

吉田 雅治, NTT-IT.

村上 健一郎, 法政大学 ビジネススクール イノベーションマネージメント研究科. 教授.

渡邉 和文, NTT

梅村 恭司, 豊橋科学技術大学 情報工学科. 教授.

天海 良治, NTT サイバースペース研究所.

山崎 憲一, NTT Docomo 研究所.

高田 敏弘, NTT コミュニケーション科学基礎研究所.

明石 修, NTT 未来ねっと研究所. 特別研究員.

中村 昌志, NTT

縁故者

故 池野 信一先生（電気通信大学在任中に逝去）

この写真の中央部, このページのバナーの中央部.

故 塚本 克治先生（工学院大学在任中に逝去）

両先生の告別式はともに禅林寺の同じ会場でした。（旦那情報）

ちなみ、禅林寺には太宰治のお墓もあるそうです。

竹内郁雄, 吉田雅治, 山崎憲一, 天海良治:
A Case Study at a Machine Studio -- The TAO/SILENT Development. 情報処理, Vol. 39, No. 4 (Apr. 1998) pp.314--320.

• Visualization of Flow Information over the Internet
  Calendar ： by Java developed by Hideki Isozaki
• Visualization of Computing Dictionary
  Visualization of CPU M32 data path by Java developed by Ichiro Ide.
  
• Hypertext Webster's 7th Dictionary Interface

鵺色 は「柿色」.

柿色のカラーコード:

• CMY : C=10, M=74, Y=90
• RGB : R=204, G=94, B=41

Persimmon ("kaki" in Japanese) is a kind of fruit. (Its description is here .)

佐渡島小木海岸の立札

鵺を射た矢の産地らしい

静岡県引佐群三ヶ日町の地名, 鵺代/尾奈の由来

淀川に流れたという話もある. こちらは鵺塚

大阪港の紋章にも登場します

鵺由来の土地

鵺のフィギュア?

鵺おどりの紹介

能「鵺」「能との出会い」のページ

能「鵺」京都大学 能と狂言の会

頼政が鵺を射た血のついた鏃を洗ったと池 (鵺池) の跡は, 現在の京都 二条児童公園だそうだ. 鵺大明神の祠があるそうだ. 原書房のページより

頼政が鵺を射た鏃は, 京都 東洞院綾小路東入る 神明神社にあるそうだ. 鵺大明神

鵺塚は岡崎公園グランド中央にあったそうな。 鵺塚の情報

壬生大念仏狂言の演物の鵺

HP Native User Envionment (NUE)

2003年クリスマスイブに都内某所で開かれた宴会に登場したケーキ

	わずかに LP 用紙が覗く
	苺の色が悪いのは蛍光灯のせいです

Hardware

1. ELIS Workstation
   
   • Photo of the handmade ELIS machine is here. (16KB)
     The hostname of this machine is Hydrogen (H) .
   • Photo of ELIS VLSI chip is here (311KB).
     
   • Product version of ELIS Workstation by NTT Intelligent Technology, Inc.
     
   • Each hostname of ELIS Workstations installed at NTT Electrical Communication Laboratories was named as a metal in the order of the elements in periodic table.
     He, Li, Be, Ne, Na, Mg, Al, Si, Ar, Ca, Sc, Ti, V, Cr, Mn, Fe, Co, Ni, Cu, Zn, Ga, Ge, As, Se, Br, Kr, ...

2. MacELIS
3. SILENT

Software

• TAO
• DAO
• ZEN (Zeroth Editor for )
• KANZEN (kana-KANji Conversion for ZEN)
• ZMM (IMAP Mail System Client for ZEN)
• NUEX (X windows for )
• AVENUE (AVE)
• TOPS (Tuple Operation Protocol Suite for Linda)
• NUELinda (Linda for )

TAK Function

• TARAI funciton: Original definition of TAK Function

  (defun tarai (x y z)
    (cond ((> x y)
  	 (tarai
  	  (tarai (1- x) y z)
  	  (tarai (1- y) z x)
  	  (tarai (1- z) x y) ))
  	(t y) ))
  
  

• TAK function : John Macarthy's variation of TARAI function

  (defun tak (x y z)
    (cond ((not (< y x)) z)
  	(t
  	  (tak
  	    (tak (1- x) y z)
  	    (tak (1- y) z x)
  	    (tak (1- z) x y)))))
  

TAO MANUAL (in Japanese)

• Alphabetical Index

  0 a b c d e f g h i j k l m n o p q r s t u v w x y z

Historical Documents

• Tak and his times (circa 1974).
• NUE Festival in Izu Nagaoka (1985 - 2007).

• Articles in Bunkai News (in Japanese, c.1977, 1978).
• Kako-cho by nue (in Japanese, as of Mar. 11, 1993).
• Canonical name by nue (in Japanese, as of Mar. 12, 1991).
• NUE Seal No.1 (Circa 1985)
• NUE Seal No.2 (Circa 1987)

Recent Documents

• Commencement of Prof. Shigeki Goto, April 25, 1996.

  Graduation certificate for Prof. S. Goto . (44KB)

  Prof. S. Goto with the certificate. (41KB)

  Banner for Commencement by nue. (43KB)

Major publications

1. I. Takeuchi, Y.Amagai, M.Yoshida, K.Yamazaki: A Concurrent Real-time Garbage Collector, Transactions on Programming Vol.44, No.SIG 16(PRO 20) IPSJ (2003) pp.41-55.
2. I. Takeuchi: Rescue Simulation and its Road Map, Proceedings of SICE Annual Conference 2002 in Osaka, MA15-6 (2002) pp.1056-1061.
3. T. Koto, I. Takeuchi: The Distributed Simulation of RoboCupRescue Version 1, Proceedings of SICE Annual Conference 2002 in Osaka, MM15-5 (2002) pp.1081-1083.
4. I. Takeuchi, M. Yoshida, K. Yamazaki, Y. Amagai: Lightweight Processes for Real-Time Symbolic Processing, Yuasa, T. and Okuno, H.G. (Eds.) Advanced Lisp Technology, Advanced Information Processing Technology, Vol.4, Taylor and Francis Publishers (2002) pp.135-154.
5. T. Morimoto, K. Kono, I. Takeuchi: YabAI: The First Rescue Simulaton League Champion, A. Birk, S. Coradeschi, S. Tadokoro (Eds.), RoboCup 2001: Robot Soccer World Cup V, Lecture Notes in Artificial Intelligence 2377, Springer-Verlag (2002) pp.49-59.
6. K. Nakayama, I. Takeuchi: Team YowAI-2001 Description, Birk. A and Coradeschi, S and Tadokoro, S (Eds.), RoboCup 2001: Robot Soccer World Cup V, Lecture Notes in Artificial Intelligence 2377, Springer-Verlag (2002) pp.539-542.
7. I. Takeuchi: The Future of Lisp, Systems and Computers in Japan, Vol. 33, No. 6 (2002) pp.10-18.
8. 日比野靖: 通研ELIS 情報処理, Vol. 43, No. 2 (Feb. 2002) pp.118-120
9. 山崎憲一, 吉田雅治, 天海良治, 竹内郁雄: Lispへのオブジェクト指向の自然な導入, 情報処理学会論文誌, Vol. 43, No. 1 (2002) pp.112-123.
10. H.G. Okuno, K. Nakadai, T. Lourense, and H. Kitano: Human-Robot Interaction Through Real-Time Auditory and Visual Multiple-Talker Tracking Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2001), IEEE, Maui, Hawaii, Oct. 2001. Nakamura Award for IROS 2001 Nomination Finalist (2nd or 3rd place) (Oct. 2002)
11. 山崎 憲一, 吉田 雅治, 天海 良治, 竹内 郁雄: 融合型言語TAOにおける構造データと未定義値の扱い, 情報処理学会論文誌:プログラミング, Vol.42, No.SIG 7 (PRO 11), (2001) pp.70-83
12. 森本武資, 竹内郁雄: ロボカップレスキュー・シミュレーションにおける分散協調 日本ロボット学会誌 Vol.20, No.1 (2001) pp.47-48.
13. Takashi Suzuki, Sinnosuke Asahara, Hideaki Kurita, Ikuo Takeuchi Team YowAI-2000 Description, P. Stone, T. Balch, G. Kraetzschmar (Eds.) RoboCup 2001: Robot Soccer World Cup IV, Lecture Notes in Artificial Intelligence 2019, Springer-Verlag, (2001) pp.509-512 .
14. K. Nakadai,K. Hidai, H. Mizuguchi, H.G. Okuno, and H. Kitano: Real-Time Auditory and Visual Multiple-Object Tracking for Robots. Proc. of 17th International Joint Conference on Artificial Intelligence (IJCAI-01), pp.1425-1432, Seattle, Aug. 2001. テレコムシステム技術賞奨励賞
15. H.G. Okuno, K. Nakadai, T. Lourense, and H. Kitano: Sound and Visual Tracking for Humanoid Robot, Proc. of 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-2001) , Budapest, Hungary, June 2001. Lecture Notes in Artificial Intelligence 2070, pp.640-650, Springer-Verlag. Best Paper Award (1st Place)
16. 竹内郁雄: 記号処理システムLispの展望, 電子情報通信学会論文誌 [招待論文], vol. J84-D-I, No. 6 (2001) pp.513-522.
17. 松原 仁, 竹内郁雄, 沼田 寛: 『ロボットの情報学』, NTT出版 (2001).
18. 中臺 一博, 日台健一, 溝口 博, 奥乃 博, 北野 宏明: 顔認識とアクティブオーディションを利用した実時間人物追跡. 第11回 AI チャレンジ研究会, SIG-Challenge-0111-5, pp.27--34, 人工知能学会, Mar. 2001. 研究奨励賞
19. 天海良治: マイクロプログラムの静的変換による記号処理システムの移植とその性能評価, 電子情報通信学会論文誌, Vol.J84-D-I, No.1 (Jan. 2001) pp.100-107.
20. Yoshiji Amagai: A Porting Sysmbolic Dedicated Machine by Micro Program Translation, Systems and Computers in Japan, Vol. 34, No. 9 (2003) pp. 105-114.
21. H.G. Okuno, K. Nakadai, T. Lourense, and H. Kitano: Sound and Visual Tracking for Humanoid, Proc. of 2000 International Conference on Information Society in the 21st Century: Emerging Technologies and New Challenges (IS2000) , 254--261, Aizu-Wakamatsu, Nov. 2000. Best Paper Award
22. 山崎憲一, 吉田雅治, 天海良治, 竹内郁雄: マルチパラダイム言語TAOにおける論理型プログラム処理系の実装, 情報処理学会論文誌, Vol. 41, No. 1 (2000) pp.136-147.
23. 竹内郁雄: メディアと豊かさ, 黒崎政男監修『情報の空間学』, NTT出版 (1999) pp.192-219.
24. 山崎憲一, 吉田雅治, 天海良治, 竹内郁雄: 実行機構の類似性に着目した関数型言語と論理型言語の融合, 情報処理学会論文誌, Vol. 40, No. 6 (1999) pp.2743-2754.
25. 竹内郁雄, 吉田正治, 山崎憲一, 天海良治: A Case Study at a Machine Studio -- The TAO/SILENT Development. 情報処理, Vol. 39, No. 4 (Apr. 1998)
26. 明石 修, 村上健一郎, 天海良治, 奥乃 博: 「NueLinda モデルと自己記述による実装」. 『コンピュータソフトウェア』, 日本ソフトウェア科学会, 岩波書店, Vol.14, No.1 (Jan. 1998) pp.24-33.
27. K. Murakami, M. Maruyama: MAPOS - Multiple Access Protocol over SONET/SDH, Version 1 RFC 2171, Jun. 1997.
28. M. Maruyama, K. Murakami: MAPOS Version 1 Assigned Numbers, RFC 2172, Jun. 1997.
29. K. Murakami, M. Maruyama: A MAPOS version 1 Extension - Node Switch Protocol, RFC 2173, Jun. 1997.
30. K. Murakami, M. Maruyama: A MAPOS version 1 Extension - Switch-Switch Protocol, RFC 2174, Jun. 1997.
31. K. Murakami, M. Maruyama: MAPOS 16 - Multiple Access Protocol over SONET/SDH with 16 Bit Addressing, RFC 2175, Jun. 1997.
32. K. Murakami, M. Maruyama: IPv4 over MAPOS Version 1, RFC 2176, Jun. 1997.
33. 竹内郁雄, 吉田正治, 山崎憲一, 天海良治: "Lightwight Processes on Real-time Symbolic Processing system TAO/SILENT", 情報処理学会論文誌, Vol.38, No.3 (Mar. 1997) pp.595-605.
34. K. Murakami, Y. Amagai, T. Kugimoto, A. Oka, M. Itoh, and S. Goto. "Analysis of stream behavior in a high-speed internet", NTT R & D, Vol.43, No.9 (1994), pp.973-982.
35. K. Yamazaki, Y. Amagai, I. Takeuchi, and M. Yoshida: "TAO: an object orientation kernel", Object Technologies for Advanced Software. Proceedings of the First JSSST International Symposium (S. Nishio and A. Yonezawa (eds.)), Springer-Verlag, 1993. pp.61-76.
36. 奥乃 博, 明石 修, 村上健一郎, 天海良治: NueLinda interpreter in NueLinda --- 非均質システムNueLinda インタプリタの自己記述. 情報処理学会論文誌, Vol.34, No.4 (Apr. 1993) pp.568--579.
37. K. Murakami: "An Object-Oriented Implementation of TCP/IP Network Protocols", Advances in Computer Software and Technology, No.3 (1992), pp.37-52.
38. H.G. Okuno: "Experience of parallel AI programming with parallel Lisp", Future Generation Computer Systems, Vol.7, No.2-3 (1992), pp.211-219.
39. K. Umemura: "Floating-point number LISP", Software - Practice and Experience, Vol.21, No.10 (1991), pp.1015-1026.
40. 山崎憲一, 奥乃 博, 竹内郁雄: TAOにおける論理型プログラミングとその処理方式. 情報処理学会論文誌, Vol.32, No.9 (Sep. 1991) pp.1090-1101.
41. K. Murakami, Y. Amagai, O. Akashi, and H.G. Okuno: "TOPS: A Tuple Operation Protocol Suite for NUE-Linda Computation Model", Proceedings of the Sixth Joint Workshop on Computer Communications (JWCC-6), IPSJ, 1991, pp.39--46.
42. N. Osato and I. Takeuchi: "Object-oriented programming in multiple-paradigm language TAO and its implementation", Journal of Information Processing, Vol.14, No.4 (1991), pp.501-507.
43. 村上健一郎: "An Object-Oriented Implementation of TCP/IP Network Protocols", コンピュータソフトウェア, Vol.6 or 7, (1989 or 90), 日本ソフトウェア科学会.
44. 村上健一郎: "Internetworking with TCP/IP", 情報処理学会誌, Vol.31, No.11 (1990), pp.1586-1595.
45. H.G. Okuno: "Experience of parallel AI programming with parallel Lisp", InfoJapan '90: Information Technology Harmonizing with Society, Vol.1 (1990), pp.315-322.
46. 山崎憲一, 梅村恭司: "Distributing information using server-client model", NTT R & D, Vol.39, No.7 (1990), pp.1017-1024.
47. 梅村恭司, 山崎憲一: "Benchmarks for symbolic processing", 情報処理学会誌, Vol.31, No.3 (1990), pp.321-327.
48. 奥乃 博, and A. Gupta: "並列Lisp言語QLispによるOPS5の並列処理の記述", 情報処理学会論文誌, Vol.31, No.6 (1990), pp.822-831.
49. 奥乃 博: "網: ATMSの新しい処理系とその共有メモリ型マルチプロセッサ上 での並列処理", 人工知能学会誌, Vol.5, No.3 (1990), pp.333-342. Best paper award given by JSAI.
50. I. Takeuchi: "TAO-a Lisp dialect with multiple paradigms", Journal of Information Processing, Vol.13, No.3 (1990), pp.318-326.
51. Y. Hibino, K. Watanabe, and I. Takeuchi: "A 32-bit LISP processor for the AI workstation ELIS with a multiple programming paradigm language, TAO", Journal of Information Processing, Vol.13, No.2 (1990), pp.156-164.
52. I. Takeuchi: "Concurrent programming in TAO-practice and experience", Parallel Lisp: Languages and Systems. Proceedings of US/Japan Workshop on Parallel Lisp (T. Ito, and R.H. Halstead, Jr. (eds)), Springer-Verlag, 1990. pp. 271-299.
53. K. Murakami: "A pseudo network approach to inter-processor communication on a shared-memory multi-processor MacELIS", Parallel Lisp: Languages and Systems. Proceedings of US/Japan Workshop on Parallel Lisp (T. Ito, and R.H. Halstead, Jr. (eds)), Springer-Verlag, 1990. pp. 271-299.
54. 大里延康, 竹内郁雄: "Object-oriented programming in multiple-paradigm language TAO and its implementation", 情報処理学会論文誌, Vol.30, No.5 (1989), pp.596-604. Best paper award given by IPSJ.
55. T. Sugimura, H. Sugiyama, Y. Amagai, K. Murakami, I. Takeuchi: "TAO/ELIS: an AI software development environment based on a multiple programming paradigm language", Review of the Electrical Communication Laboratories Vol.37, No.1 (Jan. 1989), pp.77-84.
56. 竹内郁雄: kanzenは完全か?
    情報処理学会，卓上出版シンポジウム，1988
57. 天海良治，竹内郁雄: TAO/ELISの日本語環境
    情報処理学会，卓上出版シンポジウム，1988
58. 竹内郁雄，杉村利明，天海良治: Emacsと親和性の高い日本語入力法 Kanzen
    情報処理学会，文書処理とヒューマンインタフェース研究会，13 - 2，1987
59. K. Watanabe, I. Takeuchi, and Y. Hibino: "The ELIS Interpreter-Oriented LISP-Based Workstation", Proceedings of the Second IEEE Conference on Computer Workstation IEEE, 1988, pp70-79.
60. H.G. Okuno, and A. Gupta: "Parallel implementation of OPS5 in QLisp", Proceedings of the Fourth Conference on Artificial Intelligence Applications, IEEE 1988, pp.268-273.
61. 竹内郁雄: "Fusion of object-oriented paradigm and other paradigms", 情報処理, Vol.29, No.4 (1988), pp.344-351.
62. 梅村恭司, 大里延康: "Object oriented programming in Lisp", 情報処理, Vol.28, No.4 (1988), pp.303-309.
63. 神尾, I. 竹内郁雄: "On the implementation of Common Lisp and compiler on ELIS", Electrical Communication Laboratories Technical Journal, Vol.37, No.2 (1988), pp.153-157.
64. 杉村 利明, 竹内郁雄, 奥乃 博, 天海良治: "Japanese facilities on ELIS", Electrical Communication Laboratories Technical Journal, Vol.37, No.2 (1988), pp.145-52.
65. 竹内郁雄, 奥乃 博, 大里延康, 山崎憲一: "A multiple programming paradigm list processor TAO", Electrical Communication Laboratories Technical Journal Vol.37, No.2 (1988), pp.137-143.
66. H.G. Okuno, N. Osato, and I. Takeuchi: "Firmware approach to fast Lisp interpreter", SIGMICRO Newsletter, Vol.19, No.1-2 (1988), pp.5-10.
67. H.G. Okuno, N. Osato, and I. Takeuchi: "Firmware approach to fast LISP interpreter", Proceedings of the 20th Annual Workshop on Microprogramming (MICRO-20), ACM, 1987. pp.1-11.
68. 梅村恭司: "Rules on information exchange through computers-USENET", 情報処理, Vol.27, No.11 (1987), pp.1264-1269.
69. I. Takeuchi, H.G. Okuno, N. Osato, M. Kamio, and K. Yamazaki: "A concurrent multiple-paradigm list processor TAO/ELIS", Proceedings of 1987 Fall Joint Computer Conference - Exploring Technology: Today and Tomorrow, IEEE Comput. Soc. Press, 1987. pp.167-174.
70. I. Takeuchi, H.G. Okuno, and N. Osato: "A list processing language TAO with multiple programming paradigms", New Generation Computing, Vol.4, No.4 (1986), pp.401-444.
71. Y. Hibino, K. Watanabe, and I. Takeuchi: "A 32-bit LISP Processor", Proceedings of ISSCC '87 DIGEST, IEEE, 1987, pp.200-201.
72. 奥乃 博: "Programming environments for knowledge engineering", 情報処理, Vol.26, No.12 (1985), pp.1536-1543.
73. 奥乃 博: "LISP programming environment", 情報処理, Vol.26, No.7 (1985), pp.741-749.
74. 竹内郁雄: "A criticism on Prolog", 情報処理, Vol.25, No.12 (1984), pp.1368-1372.
75. 奥乃 博: "Editor as a kernel of man-machine interface", 情報処理, Vol.25, No.8 (1984), pp.865-868.
76. H.G. Okuno, N. Osato, I. Takeuchi, Y. Hibino, and K. Watanabe: "TAO : A Fast Interpreter-Centered Lisp System on the Lisp Machine ELIS.", Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, ACM, 1984. pp.140-149.
77. 奥乃 博: "Programming environment and its contribution to knowledge engineering", Journal of the Society of Instrument and Control Engineers, Vol.22, No.9 (1983), pp.780-785.
78. I. Takeuchi, H.G. Okuno, and N. Osato: "TAO - A harmonic mean of Lisp, Prolog and Smalltalk", SIGPLAN Notices, Vol.18, No.7 (1983), ACM.
79. N. Osato, 竹内郁雄: "Interactive LISP system TAO/60", Electrical Communication Laboratories Technical Journal Vol.31, No.11 (1982), pp.2139-2152.
80. 竹内郁雄: "On the second LISP contest", 情報処理 Vol.20, No.3 (1979), pp.192-199.

1. Raymond M. Smullyan: The tao is silent, New York: Harper & Row, 1997. (ISBN: 0-06-067469-5)
2. Lao-tsu: Tao
3. Benjamin Hoff: The Tao of Pooh , New York: E.P. Dutton, 1982. (ISBN: 0-14-006747-7)
4. Momoe Yamaguchi: "Be Silent", CBS SONY, c1980.
5. Anonymous column: "bit悪魔の辞典", bit, 共立出版社, c1984 -- 1998.
6. Anonymous column: "Frequently Asked Questions (UNIX)", bit, 共立出版社, c1993 -- 2001.

in JST. since 19 May, 1997.