大久保 弘崇
研究
オブジェクト指向言語と代数的仕様記述に関すること。
簡素な業績リスト
-
モデル生成に基づくJavaScriptプログラムの型検査系の構築について,
大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善,
第9回プログラミングおよびプログラミング言語ワークショップ論文集,pp.77-88,
石川県加賀市山代温泉, PPL2007, 2007/3/8.
-
モデル生成法に基づくJavaScriptプログラム型検査の機械実行,
大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善,
電子情報通信学会誌, Vol.J89-D, No.4, pp.693--704, 2006.
-
モデル生成に基づく
JavaScriptプログラムの型検査系,
大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善,
SS2005-11, 信学技報 Vol.105, No.25, (ISSN 0913-5685), pp.25--30,
和歌山県立情報交流センター, SIGSS, 2005/4/22.
-
モデル生成に基づく
JavaScriptプログラム型検査のためのフロントエンド,
大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善,
SS2004-13, 信学技報 Vol.104, No.242, (ISSN 0913-5685), pp.41--46,
はこだて未来大学, SIGSS, 2004/8/2.
-
形式的手法に基づく
JavaScriptプログラムの型検査系の実現,
大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善,
SS2004-3, 信学技報 Vol.104, No.47, (ISSN 0913-5685), pp.13--18,
会津大学, SIGSS, 2004/5/14.
以前のもの
-
On Extracting Algebraic Specifications
from Untyped Object-Oriented Programs
H.Ohkubo, T.Sakabe, Y.Inagaki
in "CAFE: An Industrial-Strength Algebraic Formal Method",
K.Futatsugi, A.T.Nakagawa, T.Tamai Ed.,
2000, Elsevier, pp.161-178
-
オブジェクト指向プログラムに対する
Message Not Understood フォールト
検知のための型検査アルゴリズム,
大久保弘崇,坂部俊樹,稲垣康善,
コンピュータソフトウェア,Vol.17,No.3(2000),pp.63-76
-
オブジェクト指向言語におけるクラス集合型検査法,
大久保弘崇,坂部俊樹,稲垣康善,
ソフトウェア工学の基礎 I, pp.51-60, 近代科学社, 1996
-
Introduction to Standard ML 和訳
未だに時々引き合いがあるのでリンクしておきます。
Module の辺りは記述が古いのであまり参考になりませんが、
core language の入門には使えると思います。
輪読したメンバーでせっかくなので翻訳してまとめたもの。
公開許可も頂きました。
(LaTeX ソースはどこにやっちゃったかなぁ...)
Built by
GTML,
Last Update : 2007年3月15日(木曜日) 23:04:24 JST, Hirotaka OHKUBO