Welcome to 
New Unified Environment Research Project
Thank you for your interests in our project.
This page is still under construction.
Japanese page
M.C. Escher's Square Limit and Circle Limit
creatd by Picture Language of SICP (Structure and Interpretation of Computer Programs)
with TUT Scheme.
(2006.1.1)
Japan's Challenge 「Dawn of the Internet」
(NHK Enterprise, distributed by Yahoo! Japan) many members appeared.
(2005.5.24)
Dr. Ikuo Takeuchi was appointed a professor of Creative Informatics, The University of Tokyo
Creative Informatics (2005.4.1)
NUE Cake (2003.12.25)
NUE images for mobile phones
(2002.1.2)
「未踏ユース」が始まりました! (平成14年7月4日)
日経BP技術賞 情報通信部門賞受賞
「自立したネットワーク間の経路障害を自動検出する ENCORE」
明石 修, 丸山 充, 菅原俊治, 村上健一郎, 小柳恵一, 高橋直久
(2002.4.5)
「日本語, 好きですか?」 竹内郁雄, インタラクティブ・エッセイ,
情報処理学会誌, Vol.39, No.5)
- ミラー (編集委員会)
Recent Publications by NUE members
"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 )
『新科学対話』(竹内郁雄著, アスキー, 2,200円)
『インターネット活用術』岩波科学ライブラリー 44 (奥乃博著, 岩波書店, 1,000円)
『インターネット』岩波科学ライブラリー 17 (村上健一郎著, 岩波書店, 1,000円)
July 1, 1997:
Free Online Dictionary of Computing (FOLDOC, a mirror)
April 1, 1997:
Home of TAK function
March 16, 1997:
Tak and his times (circa 1974).
March 16, 1997:
NUE Festival (Jan. 29, 1985).
March 10, 1997:
Farewell Party for Dr. I. Takeuchi
July 27, 1996: Webster
Hypertext Webster's 7th Dictionary Interface with Readers Dictionary
(Available within BRL)
July 25, 1996: TAO Manual
July 13, 1996: FormBoy Form Assistant
June 3, 1996: NUE Seals
April 25, 1996: Prof. Goto's Commencement
The project develops a symbolic manipulation processor hardware and
software for research.
-
Ledendary Japanese "Chimera".
- Members
- Prof. Ikuo Takeuchi,
Department of Creative Informatics,
Graduate School of Information Science and Technology,
The University of Tokyo
- Prof. Yasushi Hibino,
Japan Advanced Institute of Science and Techinology
- Prof. Toshiaki Imada,
Institute for Learning and Brain Sciences, University of Washington.
- Prof. Hiroshi G. Okuno,
Department of Intelligence Science and Technology,
Graduate School of Informatics,
Kyoto University
- Prof. Nobuyasu Osato,
Osaka Institute of Technology.
- Hirohide Mikami, NTT Software, Inc.
- Masaharu Yoshida, NTT Intelligent Technology, Inc.
- Prof. Ken'ichiro Murakami,
Graduate School of Innovation Management,
Hosei University Business School.
- Kazufumi Watanabe, NTT Human Interface Laboratories.
- Prof. Kyoji Umemura,
Toyohashi University of Technology.
- Yoshiji Amagai,
NTT Optical Network Systems Laboratories.
- Dr. Ken'ichi Yamazaki,
NTT Docomo Laboratories.
- Toshihiro Takada,
NTT Communication Science Basic Research Laboratories.
- Dr. Osamu Akashi, Distinguished Researcher,
NTT Optical Network Systems Laboratories.
- Masashi Nakamura, NTT
- Dead Members
- late Prof. Nobuichi Ikeno
- Center of this photo or
the banner of this page .
- late Prof. Katsuji Tsukamoto
Please refer to the following article:
I. Takeuchi, M. Yoshida, K. Yamazaki, and Y. Amagai:
A Case Study at a Machine Studio -- The TAO/SILENT Development.
IPSJ Magazine, Vol. 39, No. 4 (Apr. 1998)
pp.314--320.
Under Construction.
Under Construction.
The color of
is "persimmon".
- The color code of persimmon is as follows:
- 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 .)
Under Construction.
Hardware
- 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, ...
- MacELIS
- 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
)
We solicit contributions from your archived documents.
- 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)))))
Historical Documents
Recent Documents
Our complete publication list is under construction.
Major publications
- NILFS: the New Implementatiion of a Log-structured File System,
Open source software for Linux 2.6, WEB PAGE
- I. Takeuchi, M. Yoshida, K. Yamazaki, and Y. Amagai:
A Case Study at a Machine Studio -- The TAO/SILENT Development.
IPSJ Magazine, Vol. 39, No. 4 (Apr. 1998)
pp.314--320.
- O. Akashi, K. Murakami, Y. Amagai, and H.G. Okuno:
NueLinda Model and Implementation by self-description.
Computer Softeware, JSSST, Vol.15, No.1 (Jan. 1998) pp.24-33.
- K. Murakami, M. Maruyama:
MAPOS - Multiple Access Protocol over SONET/SDH, Version 1
RFC 2171, Jun. 1997.
- M. Maruyama, K. Murakami:
MAPOS Version 1 Assigned Numbers,
RFC 2172, Jun. 1997.
- K. Murakami, M. Maruyama:
A MAPOS version 1 Extension - Node Switch Protocol,
RFC 2173, Jun. 1997.
- K. Murakami, M. Maruyama:
A MAPOS version 1 Extension - Switch-Switch Protocol,
RFC 2174, Jun. 1997.
- K. Murakami, M. Maruyama:
MAPOS 16 - Multiple Access Protocol over SONET/SDH with 16 Bit Addressing,
RFC 2175, Jun. 1997.
- K. Murakami, M. Maruyama:
IPv4 over MAPOS Version 1,
RFC 2176, Jun. 1997.
- I. Takeuchi, M. Yoshida, K. Yamazaki, and Y. Amagai:
"Lightwight Processes on Real-time Symbolic Processing system TAO/SILENT",
Transaction of Information Processing Society of Japan,
Vol.38, No.3 (Mar. 1997) pp.595-605.
- 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.
- 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.
- H.G. Okuno, O. Akashi, K. Murakami, and Y. Amagai:
"Self-Description of Interpreter for Heterogeneous
Distributed System NueLinda ---",
Transaction of Information Processing Society of Japan,
Vol.34, No.4 (Apr. 1993). pp.568-579.
- K. Murakami:
"An Object-Oriented Implementation of TCP/IP Network Protocols",
Advances in Computer Software and Technology,
No.3 (1992), pp.37-52.
- H.G. Okuno:
"Experience of parallel AI programming with parallel Lisp",
Future Generation Computer Systems,
Vol.7, No.2-3 (1992), pp.211-219.
- K. Umemura:
"Floating-point number LISP",
Software - Practice and Experience,
Vol.21, No.10 (1991), pp.1015-1026.
- K. Yamazaki, H.G. Okuno, and I. Takeuchi:
"Logic programming in TAO and its implementation",
Transactions of the Information Processing Society of Japan,
Vol.32, No.9 (1991), pp.1090-1101.
- 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.
- 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.
- K. Murakami:
"An Object-Oriented Implementation of TCP/IP Network Protocols",
Computer Software,
Vol.6 or 7, (1989 or 90), JSSST.
- K. Murakami:
"Internetworking with TCP/IP",
Information Processing Society of Japan,
Vol.31, No.11 (1990), pp.1586-1595.
- H.G. Okuno:
"Experience of parallel AI programming with parallel Lisp",
InfoJapan '90: Information Technology Harmonizing with Society,
Vol.1 (1990), pp.315-322.
- K. Yamazaki, and K. Umemura:
"Distributing information using server-client model",
NTT R & D,
Vol.39, No.7 (1990), pp.1017-1024.
- K. Umemura, and K. Yamazaki:
"Benchmarks for symbolic processing",
Information Processing Society of Japan,
Vol.31, No.3 (1990), pp.321-327.
- H.G. Okuno, and A. Gupta:
"Parallel implementation of OPS5 in QLisp",
Transactions of the Information Processing Society of Japan,
Vol.31, No.6 (1990), pp.822-831.
- H.G.Okuno:
"AMI: A New Implementation of ATMS and Its Parallel Processing on a
Shared-Memory Multi-Processor",
Journal of Japanese Association for Artificial Intelligence,
Vol.5, No.3 (1990), pp.333-342.
Best paper award given by
JSAI.
- I. Takeuchi:
"TAO-a Lisp dialect with multiple paradigms",
Journal of Information Processing,
Vol.13, No.3 (1990), pp.318-326.
- 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.
- 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.
- 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.
- N. Osato and I. Takeuchi:
"Object-oriented programming in multiple-paradigm language TAO
and its implementation",
Transactions of the Information Processing Society of Japan,
Vol.30, No.5 (1989), pp.596-604.
Best paper award given by
IPSJ.
- 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.
- 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.
- 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.
- I. Takeuchi:
"Fusion of object-oriented paradigm and other paradigms",
Information Processing Society of Japan,
Vol.29, No.4 (1988), pp.344-351.
- K. Umemura, and N. Osato:
"Object oriented programming in Lisp",
Information Processing Society of Japan,
Vol.28, No.4 (1988), pp.303-309.
- M. Kamio, I. Takeuchi:
"On the implementation of Common Lisp and compiler on ELIS",
Electrical Communication Laboratories Technical Journal,
Vol.37, No.2 (1988), pp.153-157.
- T. Sugimura, I. Takeuchi, H.G. Okuno, and Y. Amagai:
"Japanese facilities on ELIS",
Electrical Communication Laboratories Technical Journal,
Vol.37, No.2 (1988), pp.145-52.
- I. Takeuchi, H.G. Okuno, N. Osato, and K. Yamazaki:
"A multiple programming paradigm list processor TAO",
Electrical Communication Laboratories Technical Journal
Vol.37, No.2 (1988), pp.137-143.
- 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.
- 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.
- K. Umemura:
"Rules on information exchange through computers-USENET",
Information Processing Society of Japan,
Vol.27, No.11 (1987), pp.1264-1269.
- 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.
- 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.
- Y. Hibino, K. Watanabe, and I. Takeuchi:
"A 32-bit LISP Processor",
Proceedings of ISSCC '87 DIGEST,
IEEE, 1987, pp.200-201.
- H.G. Okuno:
"Programming environments for knowledge engineering",
Information Processing Society of Japan,
Vol.26, No.12 (1985), pp.1536-1543.
- H.G. Okuno:
"LISP programming environment",
Information Processing Society of Japan,
Vol.26, No.7 (1985), pp.741-749.
- I. Takeuchi:
"A criticism on Prolog",
Information Processing Society of Japan,
Vol.25, No.12 (1984), pp.1368-1372.
- H.G. Okuno:
"Editor as a kernel of man-machine interface",
Information Processing Society of Japan,
Vol.25, No.8 (1984), pp.865-868.
- 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.
- H.G. Okuno:
"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.
- 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.
- N. Osato, and I. Takeuchi:
"Interactive LISP system TAO/60",
Electrical Communication Laboratories Technical Journal
Vol.31, No.11 (1982), pp.2139-2152.
- I. Takeuchi:
"On the second LISP contest",
Information Processing Society of Japan
Vol.20, No.3 (1979), pp.192-199.
Under Construction.
- Raymond M. Smullyan:
The tao is silent,
New York: Harper & Row, 1997.
(ISBN: 0-06-067469-5)
- Lao-tsu:
Tao
- Benjamin Hoff:
The Tao of Pooh ,
New York: E.P. Dutton, 1982.
(ISBN: 0-14-006747-7)
- Momoe Yamaguchi:
"Be Silent",
CBS SONY, c1980.
- Anonymous column:
"bit's Devils' Dictionary",
bit, Tokyo: Kyoritsu Publishers, c1984 -- 1996.
in JST.
since 19 May, 1997.
Last update: Sun Jan 22 11:36:07 2006
hgo
(email)