学位

• 博士(工学)（豊橋技術科学大学）

経歴

学歴

受賞

• 情報処理学会 平成8年度論文賞（1997-05）

その他

論文

• Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers（2024-08-28） [DOI] [Othres link]
• Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language（2019-02-15） [DOI]
• L-Closureを用いた真に末尾再帰的なSchemeインタプリタ（2010-12） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Managing continuations for proper tail recursion（2010） [DOI]
• Real-time GC in JeRTy (TM) VM using the return-barrier method（2005） [Web of Scientce]
• オブジェクト指向並列言語OPAのための遅延正規化手法（2004）
• 階層的グループ化に基づくコピー型ごみ集めによる局所性改善（2004） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• 入れ子関数を利用する動的負荷分散と高水準記述（2004） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Lazy stack copying and stack copy sharing for the efficient implementation of continuations（2003） [Web of Scientce]
• Pursuing laziness for efficient implementation of modern multithreaded languages（2003） [Web of Scientce]
• 継続の生成におけるスタックコピーの遅延（2003） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入（2003） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Indefinite One-time Continuations（2002） [CiNii Research (CiNii Articles)]
• Extended Continuations for Future-based Parallel Scheme Languages（2002）
• Automatic Recompilation on Macro Redefinition, by Making Use of Weak Conses（2002） [CiNii Research (CiNii Articles)]
• 入れ子関数を利用したマルチスレッドの実現（2002） [CiNii Research (CiNii Articles)]
• 共有メモリ向けプリミティブとそのGCCを使った実現（2002）
• Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装（2001）
• Java上のScheme処理系「ぶぶ」における単一のクラスローダを用いたオブジェクトシステムの実装（2001）
• オブジェクト指向並列言語OPAのためのコード生成手法（2001） [CiNii Research (CiNii Articles)]
• Speculative Computation with Lazy Task Creation(共著)（2000） [Web of Scientce]
• リターン・バリア（2000） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• 無制限の寿命を持つ単一呼出継続（1996）
• Weak Consを用いたマクロ再定義時の自動再コンパイル（1995） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Futureベースの並列Schemeにおける継続の拡張（1994） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]

その他業績

• 大学情報入試の動向：2．国公立大学における情報入試（2024-01） [DOI]
• 教科「情報」の入学試験問題って？：時間短縮大作戦！（2022-10） [DOI]
• ぺた語義：全国大会イベント「2025年実施の大学情報入試への展望」の報告（2021-08-15） [DOI]
• TUTScheme（2011-08）
• メモリ上の配置を意識する並列処理向き高水準機械語の設計と実装（2003） [DOI] [CiNii Research (CiNii Articles)]

講演・口頭発表等

• 単一スタック領域に複数の実行コンテキストを並存させる第一級継続の実装手法の提案（2025-03-05）
• 電気通信大学個別試験「情報」サンプル問題の採点結果概要の報告（2024-12-07） [Othres link]
• 関数型言語の諸概念を取り入れたシェル（2024-03-16）
• 電気通信大学における情報入試体験会の実施結果概要の報告（2024-03-15） [Othres link]
• 演算の融合による数値計算ライブラリIFNのメモリ効率の改善
• GCアサーションにおけるメモリリーク要因の提示機能（2023-03-04）
• インタプリタとコンパイラ生成コードの対比によるコンパイラ実行時環境理解支援ツール（2023-03-04）
• 各教科で使用可能なフローチャートを利用した論理的思考力育成システムの開発（2023-01-07）
• 前処理による静的解析ツールsolhintの解析性能向上（2022-03-03）
• 値への追跡子付与による動的プログラム解析手法（2022-03-03）
• Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language（2021-12-01）
• ごみ集めにおける自動ルート保護と手動ルート保護の併用手法（2020-06-02）
• アサーションを取り入れた静的解析に基づくデバッグ支援ツール（2020-03-09）
• TypeScriptにおける型定義を切り替え可能な型検査補助ツールの実装（2020-03-09）
• FFIをもつSchemeインタプリタのための部分コンパイル方式コンパイラの構成法（2019-03-15）
• 最近のプログラミング言語の動向（2018-10-20）
• 拡張SC言語で記述したSchemeインタプリタによる計算状態操作機構の評価（2018-03-06）
• アロケーションサイトに応じてGCアルゴリズムを選択可能なハイブリッドGC（2018-02-28）
• LLDBを用いたソース-to-C型トランスレータ用ソースレベルデバッガの実装手法（2017-03-16）
• 類似コード検出に向けた中間言語の視覚化（2016-03-12）
• 並列分散軽量プログラミング言語に適したブレークポイント手法（2015-03-19）
• オフラインWebアプリケーションにおける事前データ取得の半自動化（2015-03-19）
• 仮想メソッド呼出しを用いることによるプログラムの難読化のオーバヘッド削減（2014-03-13）
• 実行時情報を活用した第一級継続のオーバーヘッド削減手法（2014-03-11）
• JavaScriptにおける動的情報流解析のソースコード変換による実装（2013-03）
• プログラム変換器によるメモ化の適用範囲拡張（2012-03）
• 遅延スイープ法における局所性の改善（2012-03）
• イベント駆動型プログラミングのためのストリームを導入したJavaScript拡張言語の設計（2012-03）
• 例外処理を用いた継続導入におけるオーバーヘッドの軽減（2012-03）
• Webブラウザのしくみ（2011-09-06）
• サーバ・クライアント処理の動的分割・再配置機能を備えたWebアプリケーション用言語（2011-04）
• データの更新を漸次的に行う動的ソフトウェア更新機構（2011-03）
• ページ遷移を考慮したWebアプリケーション記述言語の設計と実装（2010-03）
• Webアプリケーションにおけるサーバ・クライアント処理の分割支援（2010-03）
• L-closureを用いた真に末尾再帰的なSchemeインタプリタの実装（2010-03）
• 継続の共有化による継続ベースWebサーバのメモリ使用量削減（2009-03）
• Webアプリケーションのための動的適応可能な処理分担機構の設計と実装（2009-03）
• Real-time Stack Garbage Collection（2008-09）
• JavaScript/MC^2の設計と実装（2008-06）
• Web アプリケーションにおける JavaScript 計算の移送機構（2008-03）
• 情報化社会の舞台裏〜プログラムの動く仕組み〜（2007-11-06）
• CPSを用いた実行方式におけるスタックごみ集めの実時間化手法（2007-03）
• スタックの直接操作を必要としない一級継続の実装（2006-03）
• 細粒度マルチスレッド言語における例外処理の効率良い実装（2004）
• 実時間処理に適したメモリ管理を行うLisp処理系の設計と実装（2004）
• アプリケーションの定常動作に基づく複数フリーリストの初期メモリ量設定方式（2004）
• 組み込みシステムにおける複数のフリーリストに割り振るメモリ量の最適化（2004）
• Lazy Stack Copying and Stack Copy Sharing for Efficient Implementation of Continuations（2003）
• Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages（2003）
• 共有メモリプログラミングのための拡張C言語（2003）
• メモリ上の配置を意識する並列処理向き高水準機械語の設計と実装（2003）
• 拡張と変形に適したS式ベースC言語の設計と実装（2003）
• リターンバリアを用いた並列実時間ごみ集めの実装（2002）
• 局所性を高める階層的コピーGC方式（2002）
• スタックのコピーを遅延させる継続の実装方式（2002）
• 入れ子関数を利用した動的負荷分散（2002）
• 投機的実行用の条件付 future 構文とその実装（2001）
• SchemeにおけるEvaluation Strategy の設計と実装（2001）
• 共有メモリ関連命令を生成可能な実装用言語の設計（2001）
• プログラムの部分移送に基づく遠隔実行機構とその知的インターフェースへの応用（2000）
• プログラムの部分移送に基づく遠隔実行機構とその知的インタフェースへの応用（2000）
• 少量のスタックで大部分を深さ優先順にコピーするゴミ集め方式（2000）
• マルチコンテキスト管理をサポートする実装用言語（2000）
• 並列Schemeにおける即時タスク生成法と遅延タスク生成法の融合（1999）
• ISLISPコンパイラの実装（1999）
• 並列言語OPAにおける一貫性制御に対応した差分プログラミング（1999）
• データ並列Ｃ言語NCXの実装（1997）
• Java上のScheme処理系「ぶぶ」の実装（1997）
• Javaクラスライブラリに対する言語間インタフェース（1997）
• call/ccからcall/iocへの自動変換（1996）
• Indefinite One-time Continuation（1995）
• future ベースの並列 Scheme における継続の拡張（1993）

書籍等出版物

• ガベージコレクション 自動的メモリ管理を構成する理論と実装（2016-03-14）

作品等

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

メディア報道

産業財産権

所属学協会

• 情報処理学会
• 日本ソフトウェア科学会

委員歴

担当経験のある科目

• 基盤ソフトウェア特論
• 情報数理工学実験第二A，第二B
• 基礎プログラミングおよび演習
• 計算機通論

社会貢献活動

学術貢献活動