武山 誠
タケヤマ マコト (Makoto Takeyama)
更新日: 2025/09/04
基本情報
研究分野
2論文
29-
11th MFPS 1995: New Orleans(MFPS) 199-213 1995年 査読有り
-
11th MFPS 1995: New Orleans(MFPS) 447-486 1995年 査読有り
-
Theoretical Aspects of Computer Software(TACS) 191-212 1997年 査読有り
-
13th MFPS 1997: Pittsburgh(MFPS) 235-248 1997年 査読有り
-
Theoretical Computer Science 228(1-2) 49-76 1999年 査読有り
-
Theoretical Computer Science 228(1-2) 211-252 1999年 査読有り
-
Types for Proofs and Programs(TYPES) 53-62 2000年 査読有り
-
3rd International Conference on Quality Software (QSIC 2003)(QSIC) 272-279 2003年 査読有り
-
Typed Lambda Calculi and Applications(TLCA) 105-119 2003年 査読有り
-
Theorem Proving in Higher Order Logics(TPHOLs) 188-203 2003年 査読有り
-
Theoretical Aspects of Computing - ICTAC 2004(ICTAC) 3407 341-355 2004年 査読有り
-
Information & Software Technology 46(15) 1011-1025 2004年12月 査読有り
-
Fundamenta Informaticae 65(1-2) 113-134 2005年 査読有り
-
コンピュータソフトウェア 22(3) 37-57 2005年 査読有り
-
Computer Software 22(3) 134-145 2005年 査読有り
-
日本ソフトウェア科学会大会講演論文集(CD-ROM) 23rd 2006年
-
コンピュータ ソフトウェア 26(4) 107-119 2009年 査読有り
-
16th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC) 93-100 2010年 査読有り
-
16th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC) 251-252 2010年 査読有り
MISC
10-
29 33-38 2018年6月30日
-
Science journal of Kanagawa University = 神奈川大学理学誌 / Science journal of Kanagawa University編集委員会 編 28(1) 37-45 2017年
-
Science journal of Kanagawa University = 神奈川大学理学誌 / Science journal of Kanagawa University編集委員会 編 27 29-38 2016年
-
Science journal of Kanagawa University = 神奈川大学理学誌 / Science journal of Kanagawa University編集委員会 編 (25) 39-49 2014年
-
算譜科学研究速報 （Programming Science Technical Report) 2005年
-
算譜科学研究速報 （Programming Science Technical Report) 2005年
-
情報処理学会研究報告 89(75(SF-31)) 1989年
-
140-239 1985年
書籍等出版物
4-
CRC Press 2015年 (ISBN: 9781498736282)
-
近代科学社 2014年5月 (ISBN: 9784764904613)
-
CRC Press 2013年 (ISBN: 9781466577510)
-
University of Edinburgh, Department of Computer Science 1995年