Rchr
J-GLOBAL ID：200901080450151817
Update date: Apr. 17, 2024
Futamura Yoshihiko
フタムラ ヨシヒコ | Futamura Yoshihiko
Affiliation and department：
Job title：
Professor
Homepage URL (2)：
http://www.futamura.info.waseda.ac.jp/~futamura/index-j.html
,
http://www.futamura.info.waseda.ac.jp/index-j.html
Research keywords (1)：
計算機科学
Research theme for competitive and other funds (7)：
MISC (65)：
-
Cumulative Method: Recursion Removal from Mutual Recursive Programs with One Descent Function. Workshop on Robust Software Construction (WRSC'03). 2003
-
Towards Self-Applicable GPC: Progress Report. Workshop on Robust Software Construction (WRSC'03). 2003
-
Systematic Generation of Efficient Pattern Matchers for Compressed Data. Workshop on Robust Software Construction (WRSC'03),. 2003
-
20世紀の名著名論 John McCarthy: Recursive Functions of Symbolic Expressions and Their Computations by Machine. 情報処理学会会誌. 2003. 44巻3号
-
Cumulative Method: Recursion Removal from Recursive Programs with One Descent Function. Proc. of The third Asian Workshop on Programming Languages and Systems (APLAS'02). 2002
ｍore...
Works (5)：
-
プログラム開発アルゴリズム
1997 - 2000
-
Algorithm for Program Development
1997 - 2000
-
プログラム変換システム,特許2922207
1999 -
-
ソフトウェア生産自動化
1991 - 1996
-
Software Automation
1991 - 1996
Education (4)：
- - 1973 Harvard University
- - 1973 Harvard Univ. Dept. of Engineering and Applied Physics Applied Math.
- - 1965 Hokkaido University School of Science
- - 1965 Hokkaido University Faculty of Science
Professional career (3)：
- (BLANK)
- MS
- 博士(工学) (北海道大学)
Committee career (1)：
Awards (3)：
- 1997 - 情報処理学会大会優秀賞
- 1981 - 情報処理学会論文賞
- 1972 - 電子通信学会米沢賞
Association Membership(s) (4)：
ACM
, Association for Computing Machnery
, 情報処理学会
, 日本ソフトウェア科学会
