|
増原英彦 2021年 研究業績一覧 (14件 / 132件)
国際会議発表 (査読有り)
-
Kazuki Niimi,
Youyou Cong,
Hidehiko Masuhara,
Jonathan Immanuel Brachthäuser.
Contextual Polymorphism Meets Bidirectional Effects,
The 6th Workshop on Type-Driven Development (TyDe 2021),
Aug. 2021.
-
Junya Nose,
Youyou Cong,
Hidehiko Masuhara.
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe,
The Scheme and Functional Programming Workshop (Scheme '21),
Aug. 2021.
-
Yusuke Izawa,
Hidehiko Masuhara,
Carl Friedrich Bolz-Tereick,
Youyou Cong.
Threaded Code Generation with a Meta-tracing JIT Compiler,
16th Workshop on Implementation, Compilation, Optimization of Object- Oriented Languages, Programs and Systems,
July 2021.
-
Junya Nose,
Youyou Cong,
Hidehiko Masuhara.
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach,
10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021),
Feb. 2021.
国内会議発表 (査読なし・不明)
-
Fumi Takeuchi,
増原 英彦,
Raffi Khatchadourian,
叢 悠悠.
Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
角田和広,
増原英彦,
叢 悠悠.
エラーを起こさせる初学者向けプログラミングドリルの提案,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
津山勝輝,
叢悠悠,
増原英彦.
型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
荒井滉平,
増原英彦,
叢悠悠.
WebAssemblyを対象にしたSchemeコンパイラの作成に向けて,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
高橋 修祐,
伊澤 侑祐,
増原 英彦,
叢 悠悠.
汎言語的ライブプログラミング環境のためのデータ構造解析手法,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
能勢 純弥,
叢 悠悠,
増原 英彦.
デザインレシピに基づいたプログラミングための開発環境の構築に向けて,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
新美和生,
叢悠悠,
増原英彦.
Effekt言語の双方向エフェクトによる拡張,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
伊澤侑祐,
増原英彦,
叢悠悠.
An Interpreter Design for Supporting Different JIT Compilations in RPython Framework,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
古殿 直也,
叢 悠悠,
増原 英彦.
Koka言語に対するエフェクト割り当て最適化,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
池守 和槻,
叢 悠悠,
増原 英彦.
代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|