研究プロジェクト
Only recently updated projects are shown. Press “+” button to see the full projects.
- 文脈指向プログラミング 2024-04-18
- 型安全な版(バージョン)プログラミング 2024-04-18
- 文脈指向プログラミングのための適応インタフェース言語 2023-10-02
- イベント駆動文脈指向プログラミング 2021-03-26
- Javaによる文脈指向プログラミング 2021-01-24
- 資源意識プログラミング 2020-02-09
- 文脈指向プログラミングの基礎 2020-01-18
- プログラミング教育 2024-03-06
- エラー生成クイズ 2024-03-06
- Mio: デザインレシピに基づいたプログラミング環境 2024-02-24
- SimSym: 物理モデル記述を通して学ぶ物理シミュレータ 2023-09-12
- コード視認性 2023-07-21
- 型システム 2024-02-20
- 型安全インタプリタ 2024-02-20
- Monae: Coqのためのモナディックエフェクトと等式推論 2024-02-20
- 依存型とエフェクト 2024-01-17
- 依存型付き音楽 2023-09-08
- エフェクト機構の間の型安全な変換 2023-07-31
- ソフトウェア開発環境 2023-08-08
- JIGSAW: 表現変換可能なビジュアルデバガ 2023-08-03
- Kanon: データ構造を可視化するライブプログラミング環境 2023-03-01
- CodeMap: 大規模プログラム理解のためのグラフィカル記録ツール 2022-11-13
- 新言語機能を利用させるプログラム再構築ツール 2021-08-07
- キーワードプログラミングの改良 2020-11-14
- 深層学習を用いたコード補完 2020-01-30
- Selene：ソースコード推薦ツール 2020-01-18
- (English) Traceglasses : A Trace-Based Debugger 2020-01-18
- 実行時コンパイル・コード生成・プログラム特化 2023-03-25
- 適応的メタJITコンパイラフレームワーク 2023-03-25
- Pyrlang: RPythonを用いた高性能仮想機械 2020-01-18
- (English) BCS: BYTECODE SPECIALIZATION 2020-01-18
- GPGPU 2023-03-01
- Sanajeh: GPGPUのためのPython領域特化言語 2023-03-01
- DynaSOAr: GPGPUのための高効率な並列オブジェクトアロケータ 2023-03-01
- GPGPUプログラミングのためのRuby言語処理系Ikra 2023-03-01
- GPGPUのためのLIFT中間言語の拡張 2022-11-13
- GPGPUのための並行分離論理のCoqによる健全性証明 2020-01-18
- 反応的プログラミング 2021-08-07
- 信号クラス 2022-11-13
- シェルプログラミング言語 2021-06-09
- Magritte: 現代的シェル言語 2020-02-05
- OCommand: OCaml上の型安全なシェルプログラミング のための領域特化言語 2020-01-18
- アスペクト指向プログラミング言語 2021-06-09
- Association Aspects: 連想アスペクト 2021-03-26
- Dflow : データフローを扱えるアスペクト指向言語の拡張 2021-03-07
- テストに基づいたポイントカット 2021-02-22
- 型緩和織込 2021-02-14
- 壊れたポイントカットの検出 2020-02-17
- (English) Typed Pointcut Lanugage 2020-01-18
- (English) SCoPE – Static Conditional Pointcut Evaluator for AspectJ 2020-01-18
- (English) Pit: Point-in-time Join Point Model for Aspect-Oriented Programming Languages 2020-01-18
- (English) ObjCache: Profile-based Object Caching 2020-01-18
- (English) ITD Interfaces 2020-01-18
- (English) Aspectual Haskell 2020-01-18
- (English) Aspectual Caml (A’Caml): an AOP extension to functional language Caml 2020-01-18
- (English) AspectKlava 2020-01-18
- (English) Aspect Sand Box 2020-01-18
- (English) AOP for implicit conversion 2020-01-18
- (English) A per-type Instantiation Mechanism for Generic Aspects 2020-01-18