Komiya Tsuneyasu 小宮常康

… Alternative Names

KOMIYA Tsuneyasu 小宮常康

小宮常康コミヤツネヤス

Less

Researcher Number	80283638
Other IDs
External Links
Affiliation (Current)	2025: 電気通信大学, 大学院情報理工学研究科, 准教授
Affiliation (based on the past Project Information) *help	2013: 電気通信大学, 大学院・情報システム学研究科, 准教授 2008 – 2010: The University of Electro-Communications, 大学院・情報システム学研究科, 准教授 2005: Toyohashi University of Technology, Department of Information and Computer Sciences, Lecturer, 情報工学系, 講師 2004: 豊橋技術科学大学, 情報工学科系, 講師 2001 – 2002: 京都大学, 情報学研究科, 助手 … More 1998: Kyoto University, Informatics, Research Associate 1998: 京都大学, 情報学研究科, 助手 1996 – 1997: Kyoto University, Information Science, Research Associate, 工学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Software Except Principal Investigator 計算機科学 / Science and Engineering / Software
Keywords	Principal Investigator 継続 / 負荷分散 / Webアプリケーション / プログラミング言語 / ソフトウエア開発効率化 Except Principal Investigator ソフトウェア開発効率化・安定化 / 計算機システム / Modeling / Efficient and Stable Software Development / Information System … More / Computer System / Algorithm / 並列分散処理 / 局所性 / 計算量 / モデル化 / 情報システム / アルゴリズム / abstract interpretation / control-flow analysis / continuation / Scheme / 抽象解釈 / 制御フロー解析 / 継続 / Scheme言語 / compiler / vector processor / data-parallel / コンパイラ / ベクタ・プロセッサ / データ並列 / 末尾再帰 / ごみ集め / 入れ子関数 / ハイパフォーマンズ・コンピューティング / ソフトウェア開発効率化 / ソフトウエア開発効率化・安定化 / 負荷分散 / 性能評価 / ハイパフォーマンス・コンピューティング / ディペンダブル・コンピューティング / 並列処理 / プログラミング言語 / プログラミング言語処理系 Less

Enhancing and Exploiting a Language Mechanism for Legitimate Manipulation of Execution States
- Principal Investigator
  
  YASUGI Masahiro
- Project Period (FY)
  2009 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyushu Institute of Technology
  Kyoto University
Semi-automatic Client/Server Partitioning of Web ApplicationsPrincipal Investigator
- Principal Investigator
  
  KOMIYA Tsuneyasu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
Software Development based on Continuous Computing Resources
- Principal Investigator
  
  YUASA Taiichi
- Project Period (FY)
  2001 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Study for Optimization of Continuations
- Principal Investigator
  
  YUASA Taiichi
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Study for Effective Use of Vector Processors Based on Data-Parallel Model
- Principal Investigator
  
  YUASA Taiichi
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
  Toyohashi University of Technology

All 2010 2008 2004 Other

All Journal Article Presentation

[Journal Article] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010
- Author(s)
  八杉昌宏, 小島啓史, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: Vol.3, No.5 Pages: 1-17
- NAID
  110007970943
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300008
[Journal Article] L-Closure を用いた真に末尾再帰的なScheme インタプリタ2010
- Author(s)
  八杉昌宏, 小島啓史, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: Vol.3, No.5 Pages: 1-17
- NAID
  110007970943
- URL
  http://ci.nii.ac.jp/naid/110007970943
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300008
[Journal Article] オブジェクト指向並列言語OPAのための遅延正規化手法2004
- Author(s)
  馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一
- Journal Title
  
  情報報処理学会論文誌 45巻・SIG5(PRO 21)号
  
  Pages: 12-25
- NAID
  110002712343
- Data Source
  KAKENHI-PROJECT-13224050
[Journal Article] 階層的グループ化に基づくコピー型ごみ集めによる局所性改善2004
- Author(s)
  八杉昌宏, 伊藤智一, 小宮常康, 湯淺太一
- Journal Title
  
  情報処理学会論文誌 45巻・SIG5(PRO 21)号
  
  Pages: 36-52
- NAID
  110002712345
- Data Source
  KAKENHI-PROJECT-13224050
[Journal Article] 入れ子関数を利用する動的負荷分散と高水準記述2004
- Author(s)
  八杉昌宏, 小宮常康, 湯淺太一
- Journal Title
  
  情報処理学会論文誌 45巻・SIG11(ACS 7)号
  
  Pages: 368-377
- NAID
  110002712308
- Data Source
  KAKENHI-PROJECT-13224050
[Presentation] L-closure を用いた真に末尾再帰的な Scheme インタプリタの実装2010
- Author(s)
  小島啓史, 八杉昌宏, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010) カテゴリ3
- Place of Presentation
  香川県琴平町
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-21300008
[Presentation] Managing Continuations for Proper Tail Recursion2010
- Author(s)
  Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani
- Organizer
  2010 International Lisp Conference (ILC 2010)
- Place of Presentation
  米国ネバダ州リノ市 John Ascuaga's Nugget
- Year and Date
  2010-10-21
- Data Source
  KAKENHI-PROJECT-21300008
[Presentation] Managing Continuations for Proper Tail Recursion2010
- Author(s)
  Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani
- Organizer
  2010 International Lisp Conference(ILC 2010)
- Place of Presentation
  米国ネバダ州リノ市John Ascuaga's Nugget
- Year and Date
  2010-10-21
- Data Source
  KAKENHI-PROJECT-21300008
[Presentation] Real-time Stack Garbage Collection2008
- Author(s)
  Tsuneyasu KOMIYA
- Organizer
  Workshop on Software Science and Technology in China and Japan (WSST/CJ 2008)
- Place of Presentation
  Guilin, China
- Year and Date
  2008-09-16
- Data Source
  KAKENHI-PROJECT-20500028
[Presentation] 実行時情報を活用した第一級継続のオーバーヘッド削減手法
- Author(s)
  片桐国建, 小宮常康
- Organizer
  情報処理学会第76回全国大会
- Place of Presentation
  東京電機大学
- Data Source
  KAKENHI-PROJECT-21300008

1. YUASA Taiichi (60158326)

# of Collaborated Projects: 3 results

# of Collaborated Products: 3 results
2. YASUGI Masahiro (30273759)

# of Collaborated Projects: 3 results

# of Collaborated Products: 8 results
3. HIRAISHI Tasuku (60528222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
4. UMEMURA Kyoji (80273324)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. CHIKAYAMA Takashi (40272380)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. MORI Shinichiro (20243058)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 貴島寿郎 (20273336)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 五島正裕 (90283639)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Komiya Tsuneyasu 小宮 常康

KOMIYA Tsuneyasu 小宮 常康

小宮 常康 コミヤ ツネヤス

Research Projects

Research Products

Co-Researchers

Enhancing and Exploiting a Language Mechanism for Legitimate Manipulation of Execution States

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Semi-automatic Client/Server Partitioning of Web ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Development based on Continuous Computing Resources

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study for Optimization of Continuations

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study for Effective Use of Vector Processors Based on Data-Parallel Model

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] L-Closure を用いた真に末尾再帰的なScheme インタプリタ2010

Author(s)

Journal Title

NAID

URL

Data Source

[Journal Article] オブジェクト指向並列言語OPAのための遅延正規化手法2004

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 階層的グループ化に基づくコピー型ごみ集めによる局所性改善2004

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 入れ子関数を利用する動的負荷分散と高水準記述2004

Author(s)

Journal Title

NAID

Data Source

[Presentation] L-closure を用いた真に末尾再帰的な Scheme インタプリタの実装2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Managing Continuations for Proper Tail Recursion2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Managing Continuations for Proper Tail Recursion2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Komiya Tsuneyasu 小宮常康

KOMIYA Tsuneyasu 小宮常康

小宮常康コミヤツネヤス