研究者基本情報

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

主な研究課題

•  

所属

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

研究分野

•  

研究経歴

•  

研究職歴

•  

委員歴／役員歴

• ***

学位

• 東京大学　学術　博士

出身大学

•  

著作(論文等)

• Evolution Language Framework for Persistent Objects　The Art, Science, and Engineering of Programming　2025/02　10　1　Article 12
• Consistent Distributed Reactive Programming with Retroactive Computation　The Art, Science, and Engineering of Programming　2025/02　10　1　Article 11
• 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

著書

•  

学会発表

• 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　口頭発表（一般）　 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

その他業績

• Reviewer, Student Research Competition, <Programming> 2025　2025/03

特許

•  

受賞歴

•  

学会活動

•  

客員教授

•  

共同研究テーマ

•  

学識経験

•  

外部リンク

•