研究者基本情報

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

主な研究課題

所属

• 山口東京理科大学 工学部数理情報科学科 准教授

研究分野

研究経歴

研究職歴

委員歴／役員歴

学位

• 東京大学 学術 博士

出身大学

著作(論文等)

• Compilation Semantics for a Programming Language with Versions APLAS 2023: Programming Languages and Systems 2023/11 3 ～ 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 口頭発表（一般） The 21st Asian Symposium on Programming Languages and Systems 2023/11/27
• A Functional Programming Language with Versions 口頭発表（一般） <Programming> 2023 2023/03
• BatakJava: An Object-Oriented Programming Language with Versions 口頭発表（一般） 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 口頭発表（一般） COP '22: The 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity 2022/06

その他業績

特許

受賞歴

学会活動

客員教授

researchmap研究分野

共同研究テーマ

学識経験

シーズ集URL