• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Details
Related links
Search

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID：202301008958214005   Update date: Mar. 14, 2025

Tanabe Yudai

タナベ ユウダイ | Tanabe Yudai
Clips
Affiliation and department：
Institute of Science Tokyo Department of Mathematical and Computing Science, School of Computing

About Institute of Science Tokyo Department of Mathematical and Computing Science, School of Computing


Job title： Assistant Professor
Homepage URL  (1)： https://yudaitnb.github.io/
Research field  (2)： Information theory ,  Software
Research keywords  (4)： Programming Languages ,  Software ,  Type Theory ,  Software Maintenance
Research theme for competitive and other funds  (4)：
  • 2023 - 2028 High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
  • 2023 - 2025 Research on Updating Support Techniques by Introducing Semantic Versioning into Programming Languages
  • 2020 - 2025 Research on software contracts for highly interoperable software modules
  • 2022 - 2023 バージョンを言語要素に持つプログラミング言語の開発
Papers (7)：
  • Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara. Dynamic Version Checking for Gradual Updating. Journal of Information Processing. 2025
  • Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 2024. 8. PLDI. 1585-1608
  • Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. Compilation Semantics for a Programming Language with Versions. Programming Languages and Systems, 21th Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26, 2023, Proceedings. 2023. 14405. 3-23
  • Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. BatakJava: An Object-Oriented Programming Language with Versions. Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022). 2022. 222-234
  • Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. A Step toward Programming with Versions in Real-World Functional Languages. Proceedings of the 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22). 2022. 44-51
ｍore...
Books (2)：
  • COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
    Association for Computing Machinery 2023 ISBN:9798400702440
  • COP '22: Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
    Association for Computing Machinery 2022 ISBN:9781450399869
Lectures and oral presentations  (25)：
  • An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model
    (IPSJ PRO2024-5 2025)
  • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
    (The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025) 2025)
  • Linear Haskell での Rust 流借用の純粋な実現
    (The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025) 2025)
  • Language Server Protocolを用いたライブプログラミング環境Kanonの汎環境化
    (The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025) 2025)
  • 可視化されたデータ構造の編集による対話的プログラム合成手法RefSynの提案
    (The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025) 2025)
ｍore...
Education (3)：
  • 2020 - 2023 Tokyo Institute of Technology School of Computing Mathematical and Computing Science
  • 2018 - 2020 Tokyo Institute of Technology School of Computing Mathematical and Computing Science
  • 2014 - 2018 Tokyo Institute of Technology School of Science Department of Information Science
Professional career (1)：
  • Doctor of Science (Tokyo Institute of Technology)
Work history (4)：
  • 2024/10 - 現在 Institue of Science Tokyo School of Computing Assistant Professor
  • 2024/04 - 2024/09 Tokyo Institute of Technology School of Computing Assistant Professor
  • 2023/04 - 2024/03 Kyoto University Graduate School of Informatics Department of Communications and Computer Engineering Program-Specific Researcher
  • 2022/04 - 2023/03 Japan Society for the Promotion of Science JSPS Research Fellow
Committee career (24)：
  • 2024 - 現在 PL joint semianr Organizer
  • 2025 - PLDI 2025 Research Artifacts Artifact Evaluation Committee
  • 2025 - OOPSLA 2025 Artifact Evaluation Committee
  • 2025 - POPL2025 Artifact Evaluation Committee
  • 2025 - PPL 2025 Treasurer, Program Committee
Show all
Association Membership(s) (1)：
ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM