研究者基本情報

• 青谷　知幸 アオタニ　トモユキ AOTANI Tomoyuki

主な研究課題

所属

• ENG 工学部数理情報科学科 准教授

研究分野

研究経歴

研究職歴

委員歴／役員歴

学位

• 東京大学 学術 博士

出身大学

著作(論文等)

• Compilation Semantics for a Programming Language with Versions APLAS 2023: Programming Languages and Systems 2023-11 3 ENG 23
• BatakJava: An Object-Oriented Programming Language with Versions SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering 2022-11 222 234
• A Functional Programming Language with Versions The Art, Science, and Engineering of Programming 2022-11 6 1
• A Step toward Programming with Versions in Real-World Functional Languages COP '22: Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity 2022-06 44 51

著書

学会発表

• Compilation Semantics for a Programming Language with Versions ENG The 21st Asian Symposium on Programming Languages and Systems 2023-11-27
• A Functional Programming Language with Versions ENG <Programming> 2023 2023-03
• BatakJava: An Object-Oriented Programming Language with Versions ENG SLE 2022: The 15th ACM SIGPLAN International Conference on Software Language Engineering 2022-12
• A Step toward Programming with Versions in Real-World Functional Languages ENG COP '22: The 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity 2022-06

その他業績

特許

受賞歴

学会活動

客員教授

researchmap研究分野

共同研究テーマ

学識経験

シーズ集URL