-
[文献書誌] 萩谷昌己,白取知樹: "「計算=編集」パラダイムにおける例によるプログラミング" コンピュータ・ソフトウェア. (掲載予定). (1996)
-
[文献書誌] 萩尾昌己,渡辺洋,北村敏子: "導出法と帰納的証明の融合について" 情報処理学会,プログラミング研究会. (掲載予定). (1996)
-
[文献書誌] Masami Hagiya,Tomoki Shiratori: "Programming by Example in Computing-as-Editing Paradigm" Proceedings of the 11th International IEEE Symposium on Visual Languages. 275-283 (1995)
-
[文献書誌] M.Yamamoto,S.Nishizaki,M.Hagiya,Y.Toda: "Formalization of Planar Graphs" High-Order Logic Theorem Proving and Its Applications,Lecture Notes in Computer Science,Springer-Verlag. 971. 369-384 (1995)
-
[文献書誌] 山本光晴,萩谷昌己,白取知樹,西崎真也: "図的対象を扱う証明チェッカのための視覚化ツール" インタラクティブシステムとソフトウェアIII,レクチャーノート/ソフトウェア学,近代科学社. 12. 85-92 (1995)
-
[文献書誌] Masami Hagiya,Kouhei Iino: "Binding Time Analysis for Data Type Specialization" Fuji International Workshop on Functional and Logic Programming,World Scientific. 254-269 (1995)