増原英彦 (Hidehiko MASUHARA) - マイポータル

(少し)反転してみた

増原英彦

コンピュータソフトウェア Vol. 35(No. 2) 85--86 2018年5月査読有り
A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes

Matthias Springer, Hidehiko Masuhara, Robert Hirschfeld

情報処理学会論文誌プログラミング（PRO） 10(2) 2017年2月27日
Declaring Constraints on Object-oriented Collections

Tim Felgentreff, Robert Hirschfeld, Maria Graber, Alan Borning, Hidehiko Masuhara

情報処理学会論文誌プログラミング（PRO） 9(4) 2016年9月12日
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani

情報処理学会論文誌プログラミング（PRO） 8(4) 2015年12月4日
Rubyの20年, Rubyのこれから

松本行弘, 加藤和彦, 千葉滋, 増原英彦, 小野寺民也, 笹田耕一, 高橋征義

情報処理学会会誌 Vol. 56(No. 12) 1192-1197 2015年12月
OCommand：OCaml上の型安全なシェルプログラミングのための領域特化言語の提案

朝倉泉, 増原英彦, 青谷知幸

情報処理学会論文誌プログラミング（PRO） 7(5) 14-14 2014年12月5日
Aspect Interfaces: Towards Separate Type-checking of Aspect-oriented Programs with Inter-type Declarations

Manabu Toyama, Tomoyuki Aotani, Eric Bodden, Hidehiko Masuhara, Eric Tanter

情報処理学会論文誌プログラミング（PRO） 6(4) 79-79 2013年12月25日
Activation Order Analysis of Context-oriented Programs Based on Resource Usage Analysis

Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara

情報処理学会論文誌プログラミング（PRO） 6(1) 29-29 2013年1月24日
Introducing Composite Layers in EventCJ

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

情報処理学会論文誌プログラミング（PRO） 6(1) 1-8 2013年1月24日
オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ

青谷知幸, 紙名哲生, 増原英彦

日本ソフトウェア科学会大会論文集 28 1-11 2011年9月27日
ユースケースを用いた文脈指向ソフトウェア開発

紙名哲生, 青谷知幸, 増原英彦, 玉井哲雄

ソフトウェアエンジニアリングシンポジウム2011論文集 2011 1-8 2011年9月6日
Traceglasses：欠陥の効率良い発見手法を実現するトレースに基づくデバッガ

櫻井孝平, 増原英彦, 古宮誠一

情報処理学会論文誌プログラミング（PRO） 3(3) 1-17 2010年6月16日
ユーザー定義されたプログラム解析を利用するアスペクト指向プログラムのコンパイル手法(サイバー増大ページ論文概要,<特集>新しいソフトウェアの実現,サイバー増大号)

青谷知幸, 増原英彦, Tomoyuki Aotani, Hidehiko Masuhara, 東京大学大学院総合文化研究科, 東京大学大学院総合文化研究科

コンピュータソフトウェア = Computer software 23(2) 109-109 2006年4月26日
ASB : A Framework for Implementing Extensible Aspect - oriented Programming Languages

Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai

情報処理学会論文誌プログラミング（PRO） 45(12) 98-98 2004年11月15日
Reasoningを容易にする並列自己反映言語のメタオブジェクトの設計

増原英彦, 米澤明憲, Hidehiko Masuhara, Akinori Yonezawa, 東京大学大学院総合分化研究科広域システム科学系情報・図形科学, Depertment of Graphics and Computer Science University of Tokyo, Depertment of Information Science University of Tokyo

コンピュータソフトウェア = Computer software 15(4) 342-346 1998年7月15日
並列自己反映言語システムの部分計算によるコンパイル技法

増原英彦, 松岡聡, 米澤明憲

情報処理学会論文誌 37(7) 1290-1298 1996年7月15日
Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language

MASUHARA Hidehiko

Reflection'96 Conference, San Francisco, California 1996年
並列オブジェクト指向言語ABCL/fのメタレベルアーキテクチャ

増原英彦, 松岡聡, 米澤明憲

情報処理学会研究報告. PRO, [プログラミング] 95(82) 65-72 1995年8月24日
高並列計算における動的資源管理のための自己反映並列オブジェクト指向言語

増原英彦, 松岡聡, 米澤明憲

情報処理学会研究報告. [プログラミング-言語基礎実践-] 94(65) 57-64 1994年7月21日
自己反映並列オブジェクト指向言語ABCL/R2の設計と実現 (<特集>自己反映計算(リフレクション))

増原英彦, 松岡聡, 渡部卓雄, Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, 東京大学理学部情報科学科:(現)東京大学工学部計数工学科, 東京大学理学部情報科学科:(現)北陸先端科学技術大学院大学情報科学研究科, Department of Information Science The University of Tokyo., Department of Information Science The University of Tokyo:(Present address) Department of Mathematical Engineering The University of Tokyo …

コンピュータソフトウェア = Computer software 11(3) 175-192 1994年5月16日

もっとみる

書籍等出版物

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY'15).

Laurie Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek

2015年6月 (ISBN: 9781450335843) 査読有り
Lecture notes in computer science, LNCS

Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Etsuya Shibayama, Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa

Springer-Verlag 2014年9月
情報科学入門―Rubyを使って学ぶ

増原英彦, 東京大学情報教育連絡会 (担当:共著)

東京大学出版会 2010年6月23日 (ISBN: 4130624520)
情報: 東京大学教養学部テキスト

川合慧

東京大学出版会 2006年1月26日 (ISBN: 4130624512)
Reflection in Concurrent Object-Oriented Languages

Formal Methods for Distributed Processing: An Object Oriented Approach (Cambridge University Press) 2001年
Reflection in Concurrent Object-Oriented Languages

Formal Methods for Distributed Processing: An Object Oriented Approach (Cambridge University Press) 2001年

講演・口頭発表等

Language-Level Support for Multiple Versions for Software Evolution

Hidehiko Masuhara

the 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL 2025) 2025年11月18日招待有り
Joy of Meta-Tracing Just-in-time Compilation: More Than Just a JIT Compiler Generator

Hidehiko Masuhara

the 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025) 2025年10月14日招待有り
デザインレシピに基づいた初学者のための学習環境

能勢純哉, 叢悠悠, 増原英彦

第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 2022年3月6日
エラー生成クイズの提案と実施様子の観察結果の紹介

角田和広, 増原英彦, 叢悠悠

第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） 2022年3月6日
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)

Shouki Tsuyama, Youyou Cong, Hidehiko Masuhara

WITS 2022 2022年1月22日
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara

First Workshop on the Implementation of Type Systems (WITS 2022) 2022年1月
エラーを起こさせる初学者向けプログラミングドリルの提案

角田和広, 増原英彦, 叢悠悠

日本ソフトウェア科学会第38回大会 2021年9月1日
型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて

津山勝輝, 叢悠悠, 増原英彦

日本ソフトウェア科学会第38回大会 2021年9月1日
Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language

Fumi Takeuchi, 増原英彦, Raffi Khatchadourian, 叢悠悠

日本ソフトウェア科学会第38回大会 2021年9月1日
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe

Junya Nose, Youyou Cong, Hidehiko Masuhara

The Scheme and Functional Programming Workshop (Scheme '21) 2021年8月27日
Contextual Polymorphism Meets Bidirectional Effects

Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser

The 6th Workshop on Type-Driven Development (TyDe 2021) 2021年8月22日
代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明

池守和槻, 叢悠悠, 増原英彦

第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） 2021年3月9日
デザインレシピに基づいたプログラミングための開発環境の構築に向けて

能勢純弥, 叢悠悠, 増原英彦

第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） 2021年3月9日
An Interpreter Design for Supporting Different JIT Compilations in RPython Framework

伊澤侑祐, 増原英彦, 叢悠悠

第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） 2021年3月9日
Koka言語に対するエフェクト割り当て最適化

古殿直也, 叢悠悠, 増原英彦

第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） 2021年3月9日
汎言語的ライブプログラミング環境のためのデータ構造解析手法

高橋修祐, 伊澤侑祐, 増原英彦, 叢悠悠

第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） 2021年3月9日
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach

Junya Nose, Youyou Cong, Hidehiko Masuhara

10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021) 2021年2月16日
Toward a Multi-Language and Multi-Environment Framework for Live Programming

Hidehiko Masuhara, Shusuke Takahashi, Yusuke Izawa, Youyou Cong

LIVE 2020 2020年11月17日
デザインレシピに基づいたプログラミング環境の実装に向けて

能勢純哉, 叢悠悠, 増原英彦

日本ソフトウェア科学会第37回大会 2020年9月8日
On Teaching Type Systems as Macros

Youyou Cong, Naoya Furudono, Hidehiko Masuhara

The Scheme and Functional Programming Workshop (Scheme '20) 2020年8月

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

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

日本学術振興会科学研究費助成事業基盤研究(B) 2024年4月 - 2029年3月

紙名哲生, 青谷知幸, 増原英彦
言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出

日本学術振興会科学研究費助成事業基盤研究(B) 2023年4月 - 2028年3月

増原英彦, 叢悠悠
仮想空間と現実世界の融合を支援する反応的計算基盤の構築

日本学術振興会科学研究費助成事業基盤研究(B) 2021年4月 - 2025年3月

紙名哲生, 増原英彦
仮想空間と現実世界の融合を支援する反応的計算基盤の構築

日本学術振興会科学研究費助成事業基盤研究(B) 2021年4月 - 2025年3月

紙名哲生, 増原英彦
多言語・多開発環境に対応する実用的ライブプログラミングシステムの構築手法

日本学術振興会科学研究費助成事業挑戦的研究(萌芽) 2020年7月 - 2023年3月

増原英彦
生産性の高いGPU向けプログラミング言語処理系

日本学術振興会科学研究費助成事業基盤研究(B) 2018年4月 - 2023年3月

増原英彦
Raffi Takvor KHATCHADOURIAN

その他補助金外国人研究者招へい（再招へい）プログラム 2021年 - 2022年
汎用性と高性能を両立するハイブリッド型実行時コンパイラ

受託研究(政府系) 戦略的創造研究推進事業・個人型研究（ACT-X) 2020年 - 2022年
開発者背景情報を活用するコード推薦システム

日本学術振興会科学研究費助成事業基盤研究(C) 2014年4月 - 2018年3月

増原英彦, 青谷知幸, 櫻井孝平, フィルシュフェルドロベルト, 今井朝貴, カチャドリアンラフィ, 村上直也, 岡明央
スーパーコンピューティングのための動的言語処理系

受託研究(政府系) 戦略的創造研究推進事業チーム型研究(CREST) 2013年 - 2016年
ポスト・アスペクト指向時代の階層的分割と横断的分割を統合するモジュール化の研究

日本学術振興会科学研究費助成事業基盤研究(A) 2010年4月 - 2015年3月

千葉滋, 玉井哲雄, 中島震, 鵜林尚靖, 増原英彦, 五十嵐淳, 紙名哲生
生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究

日本学術振興会科学研究費助成事業基盤研究(A) 2006年 - 2009年

玉井哲雄, 中島震, 千葉滋, 鵜林尚靖, 増原英彦, 五十嵐淳, 紙名哲生
アスペクト指向言語の基礎モデルとその応用

日本学術振興会科学研究費助成事業若手研究(A) 2006年 - 2008年

増原英彦
状況評価機能の広範囲への適用に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 2005年 - 2006年

川合慧, 山口和紀, 増原英彦, 金子知適
信頼性の高いコンポーネント技術の研究

日本学術振興会科学研究費助成事業特定領域研究 2001年 - 2005年

玉井哲雄, 柴山悦哉, 中島震, 鵜林尚靖, 増原英彦, 五十嵐淳, 金子知適, 青山幹雄
高精度な状況評価機能の自動学習の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2003年 - 2004年

川合慧, 山口和紀, 増原英彦, 金子知適
移動コードを基本としたセキュアなプログラミング言語処理系

日本学術振興会科学研究費助成事業特定領域研究 2000年 - 2003年

米澤明憲, 大山恵弘, 増原英彦, 田浦健次朗, 住井英二郎, 遠藤敏夫
状況評価関数の自動獲得と動的評価器の自動生成の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2001年 - 2002年

川合慧, 増原英彦, 山口和紀
高性能広域分散計算のための適応的な基盤ソフトウェア

日本学術振興会科学研究費助成事業基盤研究(A) 2000年 - 2002年

米澤明憲, 増原英彦, 住井英二郎, 田浦健次朗, 小林直樹, 遠藤敏夫, 山本泰宇, 大山恵弘
自己反映言語による並列・分散アプリケーション記述の改善

日本学術振興会科学研究費助成事業奨励研究(A) 1999年 - 2000年

増原英彦