(1998年論文)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
Root-E-overlapping and Strongly Depth-Preserving Term Rewriting Systems,
Trans.IPS.Japan, vol.39, No.4, pp.992-1005(1998). IPSJ
(1997年研究会)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
Root-E-overlapping and Depth-preserving Term Rewriting Systems,
Technical report of IEICE, COMP96-72, pp.9-16(1997). IPSJ
(1996年論文)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
Non-E-overlapping and Strongly Depth-preserving Term Rewriting Systems,
Trans.IPS.Japan, vol.37, No.12,pp.2147-2160(1996). IPSJ
(1996年研究会)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
Depth-Preserving TRS's, 情報基礎理論ワークショップ, pp.67-72(1996).
(1996年研究会)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
Non-E-overlapping and Weight-Preserving TRS's,
RIMS Kokyuroku 950,
pp.167-173(1996).
(1995年研究会)
Oyamaguchi,M. and Gomi,H.:
Some Results on the CR property of non-E-overlapping and depth-preserving
TRS's, RIMS Kokyuroku 918, pp.150-159(1995).
(1992年Conference)
Nagasaka A., Shintani Y., Ito T., Gomi,H. and Takahashi J.:
Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2,
ACM Conference on Lisp and Functional Programming, Vol V, No.1,
pp.270-277(1992). ACM
Portal
Book: Acm Conference on Lisp and Functional Programming, 1992
出版社: Assn for Computing
Machinery ; ISBN: 0897914813 ; (1992/06/01)
(2001年国際学会) Yukuo Isomoto, Kazuhiro
Miyahara, Uchuu Nakano, Tamotu Kanie, Yuuji Okuto, Nakako Fujiwara, Youko
Kawai, Akihiko Ogasawara, Yoshinobu Takeuchi, Kaori Mizuno, Hiroshi Gomi:
Improvement of Learning Environment by Information Technology for Pupils of a
Special Class in a Hospital, International Conference on Computers in
Education(Korea), Vol.2, pp.743-746(2001/11).
(1997年研究会)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
Root-E-overlapping and Strongly Depth-Preserving Term Rewriting Systems,
9th TRS meeting, 日立 基礎研究所 (1997/3/19).
(1995年研究会)
Gomi,H., Oyamaguchi,M. and Ohta,Y.: On the Church-Rosser Property of
E-overlapping and Extended Depth-Preserving Term Rewriting Systems,
8th TRS meeting, 三重大学 (1995/11/2).