田中 哲
タナカ アキラ (Akira Tanaka)
更新日: 2025/08/14
基本情報
- 所属
- 国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター
- J-GLOBAL ID
- 200901079613156805
- researchmap会員ID
- 5000087382
- 外部リンク
研究分野
1論文
6-
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2021年1月17日 査読有り筆頭著者
-
Journal of Information Processing 26 54-72 2018年1月 査読有り筆頭著者
-
Formal Methods and Software Engineering 243-260 2016年10月15日 査読有り筆頭著者
-
日本ソフトウェア科学会大会講演論文集 19 3E3-3E3 2002年
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2374 62-88 2002年
-
Computer Software 18(3) 360-364 2001年
MISC
7-
コンピュータソフトウエア 20(3) 292-299 2003年
-
情報処理学会論文誌：プログラミング 44(SIG4(PRO17)) 25-46 2003年
-
コンピュータソフトウェア 18(3) 34-39 2001年
-
情報処理学会論文誌プログラミング（PRO） 41(4) 89-89 2000年6月15日
-
情報処理学会論文誌. プログラミング 41(4) 89-89 2000年6月15日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 96(81) 25-32 1996年5月28日
-
全国大会講演論文集 51(5) 73-74 1995年9月20日
共同研究・競争的資金等の研究課題
4-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2025年4月 - 2029年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 特定領域研究 2000年 - 2003年