発表論文一覧 1995年度(1995年4月-1996年3月)

論文誌・国際会議

  1. Residue BDD and Its Application to the Verification of Arithmetic Circuits.
    木村晋二
    32nd Design Automation Conference, June 1995.
  2. How DynaCam Supports Dynamism of Human Communication.
    瀬川典久, 布川博士, 宮崎正俊.
    Proc. 6th International Conference on Human-Computer Interaction, July 1995.

研究会

  1. 二分決定グラフに基づく計算複雑さに関する未解決問題について.
    高木一義.
    京都大学数理解析研究所短期共同研究「計算量理論の諸相−その基礎的研究」, June 1995.
  2. 剰余BDDを用いた算術演算回路の設計検証.
    木村晋二.
    電子情報通信学会VLSI設計技術研究会 VLD95-46, July 1995.
  3. ワークフロー管理システムWorkFlowBaseにおけるワークフローデータモデル.
    国島丈生, 上林弥彦.
    情報処理学会データベース研究会 104-41, July 1995.
  4. 手話単語の日本語による記述とその応用について.
    相良かおる, 木村晋二, 渡邉勝正.
    情報処理学会ヒューマン・インタフェース研究会 62-9, Sept. 1995.
  5. トランスダクション法の並列化に関する研究.
    松本太, 木村晋二, 渡邉勝正.
    電子情報通信学会VLSI設計技術研究会 VLD95-89・FTS95-51, Oct. 1995.
  6. 汎用コプロセッサGPCP-SSの実現と評価.
    伊藤康史, 平尾誠, 木村晋二, 渡邉勝正.
    電子情報通信学会VLSI設計技術研究会 VLD95-100・FTS95-62, Oct. 1995.
  7. ハードウェア/ソフトウェア協調動作システム.
    雪下充輝, 名古屋彰, 伊藤康史, 木村晋二.
    情報処理学会DA研究会 78-21, Dec. 1995.

全国大会

  1. 開放型ワークフロー管理システムに関する考察.
    国島丈生, 上林弥彦.
    情報処理学会第51回全国大会 2U-5, Sept. 1995.
  2. 動的なコミュニケーションの枠組みの記述.
    瀬川典久, 樋地正浩, 国島丈生, 渡邉勝正.
    情報処理学会第51回全国大会 3U-1, Sept. 1995.