Aotani Tomoyuki 青谷知幸

… Alternative Names

AOTANI Tomoyuki 青谷知幸

Less

Researcher Number	20582919
Other IDs
Affiliation (Current)	2025: 山陽小野田市立山口東京理科大学, 工学部, 准教授
Affiliation (based on the past Project Information) *help	2024: 山陽小野田市立山口東京理科大学, 工学部, 准教授 2016 – 2019: 東京工業大学, 情報理工学院, 助教 2012 – 2014: 東京工業大学, 情報理工学(系)研究科, 助教 2011: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Basic Section 60050:Software-related / Software
Keywords	Principal Investigator プログラミング言語 / 文脈指向プログラミング / モジュラリティ / Multi-Version Execution / プログラムの動的更新 / 多版プログラミング / 依存性の地獄 / IoT / 版 / プログラム検査 … More / 意味論 / モジュール化 / mixin / 補償処理 / 余エフェクト計算 / ワークフロー計算 / 反応型プログラミング / 余作用 / プログラミング / 形式化 / ロバスト化 / ソフトウェア進化 / 最適化 / アスペクトマイニング / 層活性機構 / 分割コンパイル / 型間宣言 / モジュール合成 / アスペクト指向プログラミング … More Except Principal Investigator トランザクション / 分散システム / リアクティブプログラミング / 操作履歴 / 関心度モデル / Omission bug / 静的解析 / メンタルモデル / 実行履歴型デバッガ / ユニットテスト / 自動レイアウト / mental map preservation / 図表示 / データ構造 / 編集操作履歴 / 巻き戻しデバガ / リファクタリング / ライブプログラミング / コード推薦システム / 開発環境 / 開発者の意図 Less

高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化
- Principal Investigator
  
  紙名哲生
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Oita University
プログラムの動的更新のための多版ワークフロープログラミング言語の設計と実現Principal Investigator
- Principal Investigator
  
  青谷知幸
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo University of Science, Yamaguchi
版情報を取り込んだプログラミング言語の研究Principal Investigator
- Principal Investigator
  
  青谷知幸
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
文脈の変化に応じて離散的に振舞いを変えるソフトウェアのためのプログラミング言語Principal Investigator
- Principal Investigator
  
  青谷知幸
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Code recommendation system with developer's background information
- Principal Investigator
  
  MASUHARA Hidehiko
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
A study on programming language mechanisms for easy-to-use safe module compositionsPrincipal Investigator
- Principal Investigator
  
  AOTANI Tomoyuki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
  Japan Advanced Institute of Science and Technology

All 2019 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation

[Journal Article] TinyCORP: A Calculus for Context-Oriented Reactive Programming2019
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani
- Journal Title
  
  COP '19: Proceedings of the Workshop on Context-oriented Programming
  
  Volume: 1 Pages: 1-8
- DOI
  10.1145/3340671.3343356
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] An Approach for Persistent Time-Varying Values2019
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani
- Journal Title
  
  Onward! 2019: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
  
  Volume: 1 Pages: 17-31
- DOI
  10.1145/3359591.3359730
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions2018
- Author(s)
  Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi
- Journal Title
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 109
- DOI
  10.4230/LIPIcs.ECOOP.2018.2
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-17H01723
[Journal Article] Harmonizing Signals and Events with a Lightweight Extension to Java2018
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki
- Journal Title
  
  The Art, Science, and Engineering of Programming
  
  Volume: 2 Issue: 3
- DOI
  10.22152/programming-journal.org/2018/2/5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] A Context-Oriented Programming Approach to Dependency Hell2018
- Author(s)
  Tanabe Yudai、Aotani Tomoyuki、Masuhara Hidehiko
- Journal Title
  
  COP '18
  
  Volume: 1 Pages: 14-8
- DOI
  10.1145/3242921.3242923
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-18H03219
[Journal Article] Method safety mechanism for asynchronous layer deactivation2018
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko、Igarashi Atsushi
- Journal Title
  
  Science of Computer Programming
  
  Volume: 156 Pages: 104-120
- DOI
  10.1016/j.scico.2018.01.006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-17H01723
[Journal Article] Live Data Structure Programming2017
- Author(s)
  Akio Oka, Hidehiko Masuhara, Tomoki Imai, Tomoyuki Aotani
- Journal Title
  
  Post-Proceedings of the 2nd Edition of the Programming Experience Workshop
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330078
[Journal Article] A DSL for compensable and interruptible executions2017
- Author(s)
  Inoue Hiroaki、Aotani Tomoyuki、Igarashi Atsushi
- Journal Title
  
  Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
  
  Volume: 0 Pages: 8-14
- DOI
  10.1145/3141858.3141860
- Data Source
  KAKENHI-PROJECT-16K16033
[Journal Article] Push-based reactive layer activation in context-oriented programming2017
- Author(s)
  Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko
- Journal Title
  
  Proceedings of the 9th International Workshop on Context-Oriented Programming (COP'17)
  
  Volume: 9 Pages: 17-21
- DOI
  10.1145/3117802.3117805
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
[Journal Article] Live Data Structure Programming2017
- Author(s)
  Oka Akio、Masuhara Hidehiko、Imai Tomoki、Aotani Tomoyuki
- Journal Title
  
  Proceedings of the 2nd Edition of the Programming Experience Workshop (PX/17)
  
  Volume: - Pages: 1-7
- DOI
  10.1145/3079368.3079400
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330078
[Journal Article] Code recommendation based on a degree-of-interest model2014
- Author(s)
  Naoya Murakami, Hidehiko Masuhara, Tomoyuki Aotani
- Journal Title
  
  Proceedings of the Fourth International Workshop on Recommendation Systems in Software Engineering (RSSE 2014)
  
  Volume: - Pages: 28-29
- DOI
  10.1145/2593822.2593828
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330078
[Journal Article] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ2013
- Author(s)
  青谷知幸，紙名哲生，増原英彦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30(3)
- NAID
  40020659193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700033
[Journal Article] Introducing composite layers in EventCJ2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  IPSJ Transaction on Programming
  
  Volume: Vol. 6, No. 1 Pages: 1-8
- NAID
  130003370005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究2018
- Author(s)
  奥河諒, 青谷知幸, 増原英彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-16K16033
[Presentation] ContextWorkflow: 中断と償いのためのDSL2018
- Author(s)
  井上裕昭, 青谷知幸, 五十嵐淳
- Organizer
  プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-16K16033
[Presentation] プログラミング言語へのバージョンの導入の研究2018
- Author(s)
  田辺裕大, 青谷知幸, 増原英彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-16K16033
[Presentation] イベントとシグナルを統合したJavaの軽量な拡張SignalJ2017
- Author(s)
  紙名哲生, 青谷知幸
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ（PPL2017)
- Place of Presentation
  山梨県笛吹市石和温泉
- Data Source
  KAKENHI-PROJECT-16K16033
[Presentation] Kanonライブプログラミング環境を用いたデータ構造のプログラミング2017
- Author(s)
  岡明央、増原英彦、今井朝貴、青谷知幸
- Organizer
  日本ソフトウェア科学会プログラミングとプログラミング言語研究会
- Place of Presentation
  山梨県笛吹市
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究},2017
- Author(s)
  今井朝貴、増原英彦、青谷知幸
- Organizer
  日本ソフトウェア科学会プログラミングとプログラミング言語研究会
- Place of Presentation
  山梨県笛吹市
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] ライブプログラミングのためのデータ構造の可視化と対話機能2017
- Author(s)
  岡明央、増原英彦、青谷知幸
- Organizer
  情報処理学会第113回プログラミング研究会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] Towards Automatic Decoration2016
- Author(s)
  Tomoyuki Aotani and Tetsuo Kamina
- Organizer
  The -1th Workshop on New Object-Oriented Languages (NOOL) 2016
- Place of Presentation
  Amsterdam, The Netherlands
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16033
[Presentation] Towards Modular Reasoning for Context-Oriented Programs2016
- Author(s)
  Tomoyuki Aotani and Gary Leavens
- Organizer
  The 18th Workshop on Formal Techniques for Java-like Programs
- Place of Presentation
  Rome, Italy
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16033
[Presentation] ライブプログラミング環境におけるユニットテスト機能の設計と実現方法2016
- Author(s)
  今井朝貴、増原英彦、青谷知幸
- Organizer
  情報処理学会第111回プログラミング研究会
- Place of Presentation
  日本IBM東京基礎研究所
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] Making live programming practical by bridging the gap between trial-and-error development and unit testing2015
- Author(s)
  Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani.
- Organizer
  SPLASH2015 国際会議
- Place of Presentation
  Sheraton Pittsburg　Hotel at Station Square
- Year and Date
  2015-10-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] Shiranui: A live programming with support for unit testing2015
- Author(s)
  Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani.
- Organizer
  SPLASH2015 国際会議
- Place of Presentation
  Sheraton Pittsburg Hotel at Station Square
- Year and Date
  2015-10-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] ライブプログラミングにユニットテストを統合する機能の提案2015
- Author(s)
  今井朝貴, 増原英彦, 青谷知幸
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)
- Place of Presentation
  道後プリンスホテル（愛媛県）
- Year and Date
  2015-03-05
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] 関心度に基づくソースコード推薦システム2014
- Author(s)
  村上直也, 増原英彦, 青谷知幸
- Organizer
  第183回ソフトウェア工学研究発表会
- Place of Presentation
  東京都千代田区
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] On-Demand Layer Activation for Type-Safe Deactivation2014
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, and Atsushi Igarahi
- Organizer
  The 6th International Workshop on Context-Oriented Programming
- Place of Presentation
  Uppsala, Sweden
- Year and Date
  2014-07-29
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] A dynamically-typed language for prototyping high-performance data parallel programs2014
- Author(s)
  Hidehiko Masuhara and Tomoyuki Aotani
- Organizer
  Poster presentation at JST/CREST International Symposium on Post Petascale System Software
- Place of Presentation
  理化学研究所計算科学機構 (神戸市)
- Year and Date
  2014-12-02
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] Shiranui: テストフレンドリーなライブプログラミング言語環境, September 20142014
- Author(s)
  今井朝貴, 増原英彦, 青谷知幸
- Organizer
  日本ソフトウェア科学会全国大会第31回大会
- Place of Presentation
  名古屋大学
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-26330078
[Presentation] Unifying Multiple Layer Activation Mechanisms Using One Event Sequence2014
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
- Organizer
  The 6th International Workshop on Context-Oriented Programming
- Place of Presentation
  Uppsala, Sweden
- Year and Date
  2014-07-29
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language2014
- Author(s)
  Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
- Organizer
  The 13th Workshop on Foundations of Aspect-oriented Languages
- Place of Presentation
  University of Lugano (USI), Switzerland
- Year and Date
  2014-04-22
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Hierarchical Concern-Based Pointcuts2013
- Author(s)
  Takeshi Kojima, Tomoyuki Aotani
- Organizer
  AOAsia/Pacific 2013: 8th International Workshop on Advanced Modularization Techniques
- Place of Presentation
  Fukuoka, Japan
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Aspect interfaces: Towards separate type-checking of aspect-oriented programs with inter-type declarations2013
- Author(s)
  Manabu Toyama, Tomoyuki Aotani, Eric Bodden, Hidehiko Masuhara, and Eric Tanter
- Organizer
  第94回プログラミング研究発表会
- Place of Presentation
  秋田県秋田市
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Interaction Awareness for Aspect Refactoring2013
- Author(s)
  Lin Wang, Tomoyuki Aotani, Masato Suzuki
- Organizer
  AOAsia/Pacific 2013: 8th International Workshop on Advanced Modularization Techniques
- Place of Presentation
  Fukuoka, Japan
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] A Core Calculus of Composite Layers2013
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  Foundations of Aspect-Oriented Languages workshop
- Place of Presentation
  Fukuoka, Japan
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] 関心度に基づくソースコード推薦システム2013
- Author(s)
  村上直也, 増原英彦, 青谷知幸
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Feature Selection for Clustering-Based Aspect Mining2013
- Author(s)
  Lin Wang, Tomoyuki Aotani, Masato Suzuki
- Organizer
  4th International Workshop on Variability & Composition
- Place of Presentation
  Fukuoka, Japan
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Bridging real-world contexts and units of behavioral variations by composite layers2012
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  Workshop on Context-Oriented Programming (COP'12)
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Towards optimizing EventCJ programs2011
- Author(s)
  Tomoyuki Aotani
- Organizer
  AOAsia/Pacific'11
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Featherweight EventCJ: A Core Calculus for a Context-Oriented Language with Event-Based Per-Instance Layer Transition2011
- Author(s)
  Tomoyuki Aotani
- Organizer
  COP'11
- Place of Presentation
  Lancaster, UK
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] A unified context activation mechanispm
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani and Hidehiko Masuhara
- Organizer
  International workshop on context-oriented programming
- Place of Presentation
  Montpellier, France
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Generalized layer activation mechanism through contexts and subscribers
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Tetsuo Tamai
- Organizer
  The 14th International Conference on Modularity
- Place of Presentation
  Fort Collins, Colorad, USA
- Year and Date
  2015-03-16 – 2015-03-19
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Context-oriented Software Engineering: A Modularity Vision
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Tetsuo Tamai
- Organizer
  The 13th International Conference on Modularity
- Place of Presentation
  University of Lugano (USI), Switzerland
- Year and Date
  2014-04-22 – 2014-04-25
- Data Source
  KAKENHI-PROJECT-23700033
[Presentation] Mapping context-dependent requirements to event-based context-oriented programs for modularity
- Author(s)
  Tetsuo Kamina, Tomoyuki Aotani and Hidehiko Masuhara
- Organizer
  International workshop on Reactivity, Events and Modularity
- Place of Presentation
  Indianapolis, USA
- Data Source
  KAKENHI-PROJECT-23700033

1. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 2 results

# of Collaborated Products: 12 results
2. SAKURAI Kouhei (80597021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 紙名哲生 (90431882)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
4. HIRSCHFELD Robert

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. IMAI Tomoki

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
6. KHATCHADOURIAN Raffi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. MURAKAMI Naoya

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
8. OKA Akio

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results

Aotani Tomoyuki 青谷 知幸

AOTANI Tomoyuki 青谷 知幸

Research Projects

Research Products

Co-Researchers

高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

プログラムの動的更新のための多版ワークフロープログラミング言語の設計と実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

版情報を取り込んだプログラミング言語の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

文脈の変化に応じて離散的に振舞いを変えるソフトウェアのためのプログラミング言語Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Code recommendation system with developer's background information

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on programming language mechanisms for easy-to-use safe module compositionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] TinyCORP: A Calculus for Context-Oriented Reactive Programming2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] An Approach for Persistent Time-Varying Values2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Harmonizing Signals and Events with a Lightweight Extension to Java2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A Context-Oriented Programming Approach to Dependency Hell2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Method safety mechanism for asynchronous layer deactivation2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Live Data Structure Programming2017

Author(s)

Journal Title

Data Source

[Journal Article] A DSL for compensable and interruptible executions2017

Author(s)

Journal Title

DOI

Data Source

Aotani Tomoyuki 青谷知幸

AOTANI Tomoyuki 青谷知幸