武市 正人

• 並列性忘却プログラミングに関する研究 

  文部科学省 科学研究費補助金(挑戦的萌芽研究) 2010年 - 2011年

  武市 正人, 胡 振江, 松崎 公紀, 江本 健斗
• 双方向変換機構とその応用に関する研究 

  文部科学省 科学研究費補助金(基盤研究(A)) 2007年 - 2010年

  武市 正人, 胡 振江, 松崎 公紀, 胡 振江, 松崎 公紀
• 運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究 

  文部科学省 科学研究費補助金(基盤研究(A)) 2003年 - 2005年

  武市 正人, 筧 一彦, 胡 振江
• 少数キーによるテキスト入力手法の開発と評価に関する研究 

  文部科学省 科学研究費補助金(萌芽研究) 2002年 - 2003年

  武市 正人, 田中 久美子
• 構成的並列プログラミングモデルの設計及び実現に関する研究 

  文部科学省 科学研究費補助金(基盤研究(B)) 1999年 - 2001年

  武市 正人, 尾上 能之, 岩崎 英哉, 胡 振江
• プログラム運算システムの設計および実現に関する研究 

  文部科学省 科学研究費補助金(基盤研究(B)) 1999年 - 2001年

  武市 正人, 尾上 能之, 胡 振江, 岩崎 英哉
• プログラム運算システムの実用化に関する研究 

  文部科学省 科学研究費補助金(基盤研究(B)) 1998年 - 2000年

  武市 正人, 高野 明彦, 岩崎 英哉, 尾上 能之, 田中 哲朗, 胡 振江, 高野 昭彦, 高野 明彦
• ソフトウェア発展のための基本機構の研究 

  文部科学省 科学研究費補助金(重点領域研究, 特定領域研究(A)) 1997年 - 1999年

  武市 正人, 谷口 健一, 柴山 悦哉, 二村 良彦, 米澤 明憲
• 構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究 

  文部科学省 科学研究費補助金(基盤研究(C)) 1997年 - 1998年

  武市 正人, 高野 明彦, 田中 哲朗, 岩崎 英哉, 胡 振江
• プログラムの自己進化機構とその実現法に関する研究 

  文部科学省 科学研究費補助金(一般研究(B), 基盤研究(B)) 1995年 - 1996年

  武市 正人, 田中 哲朗, 金子 敬一, 岩崎 英哉
• 並列計算機上の関数プログラミングシステムの構築に関する研究 

  文部科学省 科学研究費補助金(試験研究(B), 基盤研究(A)) 1994年 - 1996年

  武市 正人, 田中 哲朗, 松岡 聡, 岩崎 英哉, 米澤 明憲
• 遅延メモ化機構によるプログラムの部分計算に関する研究 

  文部科学省 科学研究費補助金(一般研究(C)) 1994年 - 1994年

  武市 正人, 金子 敬一
• 高機能ユーザーインターフェースの研究 

  文部科学省 科学研究費補助金(重点領域研究) 1992年 - 1992年

  武市 正人, 大槻 説乎, 川合 慧, 田中 稔
• 高機能ユ-ザ-インタ-フェ-スの研究 

  文部科学省 科学研究費補助金(重点領域研究) 1991年 - 1991年

  武市 正人, 大槻 説乎, 川合 慧, 田中 稔
• 高機能ユ-ザ-インタ-フェ-スの研究 

  文部科学省 科学研究費補助金(重点領域研究) 1990年 - 1990年

  武市 正人, 大槻 説乎, 川合 慧, 田中 稔
• 関数プログラムの並列実行に関する研究 

  文部科学省 科学研究費補助金(一般研究(C)) 1989年 - 1990年

  武市 正人, 金子 敬一, 岩崎 英哉
• 並列関数プログラミングシステムの構築 
• 構成的アルゴリズム論に関する研究 
• 関数プログラミングに関する研究 
• Implementation of Parallel Functional Systems