Rchr
J-GLOBAL ID:200901024076077716
Update date: Jan. 30, 2024
Tanabe Makoto
タナベ マコト | Tanabe Makoto
Affiliation and department:
Job title:
Associate Professor
Research field (1):
Information theory
Research keywords (4):
モデル検査
, Petri Nets
, Temporal Logic
, Model Checking
Research theme for competitive and other funds (7):
Papers (8):
-
田辺 誠. An advanced version of CS Unplugged Activity 2. Proceedings Journal of Interdisciplinary Research, Vol. 03, Iss. 1, pp.1-10. 2016
-
田辺 誠. 公共交通機関と連携した社会実装教育型の卒業研究:宇部市営バス運行案内システムの構築. 日本高専学会誌, Vol. 21, No. 3, pp.37-44. 2016
-
田辺 誠. A Proposal for Teaching Programming through the Four-Step Method. Australian Journal of Basic and Applied Sciences, 9(14). 2015
-
田辺 誠. プログラミング教育効率の向上を目指したプログラム編集情報取得システムの作成. 高専教育,Vol.33、 pp.461-466. 2010
-
田辺 誠. TCCT:Timed Calculus with Controllable Timers. 京都大学数理解析研究所PREPRINTS第1353号 pp.1-16. 2003
more...
Books (3):
-
Digitai Cities II -- Computational and Socialogical Approaches
Springer-Verlag社, Lecture Notes in Computer Science シリーズ第2362号 全404頁 2000
-
コンピュータサイエンス入門
岩波書店 1999
-
コンピュータサイエンス入門〈2〉論理とプログラム意味論
岩波書店 全191頁 1997
Works (1):
-
科学技術振興事業団さきがけ研究21「情報と知」領域
1997 - 2000
Education (4):
- - 1997 Kyoto University
- - 1997 Kyoto University Graduate School, Division of Natural Science
- - 1992 Kyoto University Faculty of Science
- - 1992 Kyoto University Faculty of Science
Professional career (1):
Work history (2):
- 1997 - 2002 (財)京都高度技術研究所 研究員1997-2000 科学技術振興事業団さきがけ研究(PREST)21「情報と知」研究員2000-2001 科学技術振興事業団CREST「デジタルシティのユニバーサルデザイン」 プロジェクト研究員
- 1997 - 2002 ASTEM-RI, Kyoto1997-2000 JST Sakigake21 (PREST) Project2000-2001 JST CREST Project (Universal Design of Digital City)
Association Membership(s) (2):
Return to Previous Page