補関数の生成による複製機能付きプログラムの自動双方向化 von 松田, 一孝, 胡, 振江, 中野, 圭介, 浜名, 誠, 武市, 正人

Volltext

木変換言語の双方向化に関する事例研究 von 穆, 信成, 胡, 振江, 武市, 正人

Volltext

双方向XML変換のためのJavaライブラリ von 劉, 東喜, 胡, 振江, 武市, 正人, 筧, 一彦, 王, 浩

Volltext

木スケルトンによるXPathクエリの並列化とその評価 von 野村, 芳明, 江本, 健斗, 松崎, 公紀, 胡, 振江, 武市, 正人

Volltext

ソフトウェア科学の世紀に向けて von 武市, 正人

Volltext

決定論的2階パターンとプログラム変換への応用 von 横山, 哲郎, 胡, 振江, 武市, 正人

Volltext

歴代理事長座談会 von 大野, 豊, 片山, 卓也, 米澤, 明憲, 武市, 正人, 阿草, 清滋

Volltext

「計算機科学」は死語? von 武市, 正人

Volltext

利得の最適連想規則を求める線形時間アルゴリズムの導出 von 篠埜, 功, 胡, 振江, 武市, 正人, 小川, 瑞史

Volltext

東京大学 情報理工学系研究科 創造情報学専攻の紹介(ラボラトリー) von 武市, 正人

Volltext

Multidimensional Searching Trees with Minimum Attribute von 趙, 海燕 趙 海燕, 胡, 振江, 武市, 正人

Volltext

グラフの探索関数の再帰的定義と変換 von 篠埜, 功, 胡, 振江, 武市, 正人

Volltext

漸次的組化と融合による関数プログラムの最適化 von 岩崎, 英哉, 胡, 振江, 武市, 正人

Volltext

最大重み和問題の線形時間アルゴリズムの導出 von 篠埜, 功, 胡, 振江, 武市, 正人, 小川, 瑞史

Volltext

ナップサック問題およびその発展問題の統一的解法 von 篠埜, 功, 胡, 振江, 武市, 正人, 小川, 瑞史

Volltext

日本学術会議第22期の諸課題: 震災復興と学術の責任 von 大西, 隆, 武市, 正人, 小林, 良彰, 春日, 文子, 辻村, みよ子

Volltext

HYLOシステムによるプログラム融合変換の実現 von 尾上, 能之, 胡, 振江, 武市, 正人

Volltext

プログラム融合変換の実用的有効性の検証 von 尾上, 能之, 胡, 振江, 岩崎, 英哉, 武市, 正人

Volltext

情報学分野の今日と明日 von 武市, 正人

Volltext

A Combinator Library for Specifying Program Transformation von 横山, 哲郎, 胡, 振江, 武市, 正人

Volltext