小宮常康 Komiya Tsuneyasu

研究者番号	80283638
その他のID
外部サイト
所属 (現在)	2025年度: 電気通信大学, 大学院情報理工学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2013年度: 電気通信大学, 大学院・情報システム学研究科, 准教授 2008年度 – 2010年度: 電気通信大学, 大学院・情報システム学研究科, 准教授 2005年度: 豊橋技術科学大学, 情報工学系, 講師 2004年度: 豊橋技術科学大学, 情報工学科系, 講師 2001年度 – 2002年度: 京都大学, 情報学研究科, 助手 … もっと見る 1998年度: Kyoto University, Informatics, Research Associate 1998年度: 京都大学, 情報学研究科, 助手 1996年度 – 1997年度: 京都大学, 工学研究科, 助手隠す
審査区分/研究分野	研究代表者ソフトウエア研究代表者以外計算機科学 / 理工系 / ソフトウエア
キーワード	研究代表者継続 / 負荷分散 / Webアプリケーション / プログラミング言語 / ソフトウエア開発効率化研究代表者以外ソフトウェア開発効率化・安定化 / 計算機システム / Modeling / Efficient and Stable Software Development / Information System … もっと見る / Computer System / Algorithm / 並列分散処理 / 局所性 / 計算量 / モデル化 / 情報システム / アルゴリズム / abstract interpretation / control-flow analysis / continuation / Scheme / 抽象解釈 / 制御フロー解析 / 継続 / Scheme言語 / compiler / vector processor / data-parallel / コンパイラ / ベクタ・プロセッサ / データ並列 / 末尾再帰 / ごみ集め / 入れ子関数 / ハイパフォーマンズ・コンピューティング / ソフトウェア開発効率化 / ソフトウエア開発効率化・安定化 / 負荷分散 / 性能評価 / ハイパフォーマンス・コンピューティング / ディペンダブル・コンピューティング / 並列処理 / プログラミング言語 / プログラミング言語処理系隠す

安全な計算状態操作機構の実用化
- 研究代表者
  
  八杉昌宏
- 研究期間 (年度)
  2009 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  九州工業大学
   京都大学
webアプリケーションにおける処理分担の半自動決定手法研究代表者
- 研究代表者
  
  小宮常康
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  電気通信大学
計算連続体に基づくソフトウェア実現法
- 研究代表者
  
  湯淺太一
- 研究期間 (年度)
  2001 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
継続機能の最適化に関する研究
- 研究代表者
  
  湯淺太一 (湯浅太一)
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
データ並列モデルに基づいたベクタ・プロセッサの有効利用に関する研究
- 研究代表者
  
  湯浅太一 (湯淺太一 / 湯あさ太一)
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
   豊橋技術科学大学

すべて 2010 2008 2004 その他

すべて雑誌論文学会発表

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

1. 湯浅太一 (60158326)

共同の研究課題数: 3件

共同の研究成果数: 3件
2. 八杉昌宏 (30273759)

共同の研究課題数: 3件

共同の研究成果数: 8件
3. 平石拓 (60528222)

共同の研究課題数: 1件

共同の研究成果数: 5件
4. 梅村恭司 (80273324)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 近山隆 (40272380)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 上田和紀 (10257206)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 森眞一郎 (20243058)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 貴島寿郎 (20273336)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 五島正裕 (90283639)

共同の研究課題数: 1件

共同の研究成果数: 0件

小宮 常康 Komiya Tsuneyasu

研究課題

研究成果

共同研究者

安全な計算状態操作機構の実用化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

webアプリケーションにおける処理分担の半自動決定手法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算連続体に基づくソフトウェア実現法

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

継続機能の最適化に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

データ並列モデルに基づいたベクタ・プロセッサの有効利用に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

URL

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Managing Continuations for Proper Tail Recursion2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Managing Continuations for Proper Tail Recursion2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Real-time Stack Garbage Collection2008

著者名/発表者名

小宮常康 Komiya Tsuneyasu