2023
[33]Adding User-Definable Representation Conversion to Debugger State Visualization (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[32]Translation Between Effect Instances and Multi-prompt Control Operators (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[31]差分実行の形式化 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[30]実行履歴を用いた差分実行型ライププログラミング環境の実現 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2022
[29]Supporting Multiple Inheritance in a Python DSL for GPGPU (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[28]仮想機械語を用いた第一級継続の実現方法とその比較 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[27]Mio:プログラムデザインを支援するブロック学習環境 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2021
[26]ライブデータ構造プログラミングの大規模データ利用のための改善 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[25]Extending Effekt with Bidirectional Effects (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[24]Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[23]BatakJava: an Object-Oriented Programming Language with Versions (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2020
[22]Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta JIT Compiler Framework (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[21]版を扱えるプログラミング言語$\lambda$VLへの型・版多相性の導入の研究 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[20]Improving Keyword Programming by Using Neural Text Generation (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2019
[19]Magritte: A Language for Pipe-Based Programming (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[18]Deep Learning based Code Completion with ASTToken2Vec (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[17]共有メモリ最適化のためのGPGPUプログラム合成器 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[16]文脈指向プログラムの検証法の研究 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[15]Supporting Recursive Functions in Live Data Structure Programming (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2018
[14]証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2017
[13]ライブプログラミングが生産性に与える影響に関する実証研究 (), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[12]拡張可能な構文定義の枠組み (), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2016
[11]Pyrlang: A High Performance Erlang Virtual Machine Based on RPython (), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
[10]並行分離論理に基づくGPGPU向けデータ並列DSLコンパイラの形式検証 (), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, . (Supervisor: Hidehiko Masuhara) [bibtex] [PDF]
2014
[9]Rubyに基づくGPGPU向けスクリプト言語における型推論 (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
[8]関心度に基づいたソースコード推薦システム (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
[7]アスペクト指向アルゴリズムアニメーションフレームワークの研究 (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
2011
[6]アスペクト指向言語のaroundアドバイスにおける型に関する柔軟性の向上と型安全性の研究 (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
2006
[5]解析を利用したポイントカットを実現するアスペクト指向言語のコンパイラ (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
[4]類似プログラムの提示によるコード再利用支援 (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
[3]Value Profiling for Java Bytecode (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
2004
[2]Design and Implementation of Dataflow Pointcut in Aspect-Oriented Programming Languages (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
[1]オブジェクト指向プログラムの高速化を支援するプロファイラ (), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, . (Supervisor: Hidehiko Masuhara) [bibtex]
Powered by bibtexbrowser