研究者
J-GLOBAL ID:200901054779376223
更新日: 2022年08月18日
大久保 弘崇
オオクボ ヒロタカ | Ohkubo Hirotaka
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
愛知県立大学 情報科学部 情報科学科
愛知県立大学 情報科学部 情報科学科 について
「愛知県立大学 情報科学部 情報科学科」ですべてを検索
機関情報を見る
職名:
講師
ホームページURL (1件):
http://www.aichi-pu.ac.jp/ist/~ohkubo/
研究分野 (1件):
ソフトウェア
研究キーワード (2件):
プログラミング言語論
, Programming Language
競争的資金等の研究課題 (4件):
オブジェクト指向プログラムからの代数的仕様抽出とその応用
オブジェクト指向言語における型推論アルゴリズム
Extraction of Algebraic Specification from Object-Oriented Programs and its Application
Type Inference Algorithm on Object-Oriented Langnages.
MISC (7件):
大久保弘崇, 坂部俊樹, 稲垣康善. オブジェクト指向プログラムに対するMessage Not Understoodフォールト検知のための型検査アルゴリズム. コンピュータソフトウェア. 2000. 17. 3. 255-268
A Type Checking Algorithm for Detecting "Message Not Understood Error"Fault in Object-Oriented Programs. 2000. 17. 3. 63-76
On Extracting Algebraic Specifications from Object-Oriented Programs with Polymorphic Types. 1st Cafe OBJ Symposiumにて口頭発表. 1998
オブジェクト指向プログラムからの代数的仕様記述の抽出手法について. ソフトウェア科学会第14回大会論文集. 1997. 517-520
On Extracting Algebraic Specitication from Object-Oriented Programs. 1997. 517-520
もっと見る
学歴 (4件):
- 1997 名古屋大学 工学研究科 情報工学
- 1997 名古屋大学
- 1992 名古屋大学 工学部 情報工学科
- 1992 名古屋大学
学位 (1件):
工学修士
所属学会 (2件):
ソフトウェア科学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM