発表論文一覧 平成 5 年度 - 平成 9 年度 (1993年4月 - 1998年3月)
- 論文誌・国際会議
- Computational Power of Nondeterministic Ordered Binary Decision Diagrams and Their Subclasses
- Kazuyoshi TAKAGI, Koyo NITTA, Hironori BOUNO, Yasuhiko TAKENAGA, and Shuzo YAJIMA
- IEICE Transactions on Fundamentals, Vol. E80-A, No. 4, pp. 663-669, April 1997.
- Manipulation of Large-Scale Polynomials Using BMDs
- Dror Rotter, Kiyoharu Hamaguchi, Shin-ichi Minato and Shuzo Yajima
- IEICE Transactions on Fundamentals, Vol. E80A, No. 10, pp. 1774-1781, Oct. 1997.
- An Agent-Based Coordination Model on Workflow Databases
- Takeo Kunishima and Kazumasa Yokota
- 1997 International Conference on Object-Oriented Information Systems, pp. 361-371, 1997.
- Extentions of Query Processing Facilities in Mediator Systems
- Kazumasa Yokota, Yutaka Banjou, Takashi Kuroda, and Takeo Kunishima
- Proceedings of the 4th KRDB Workshop, pp. 17-1 - 17-8, Aug. 1997.
- 研究会
- 細胞(セル)によるプログラミング 「コンテンツに適応する発展的ソフトウェアの構成法」
- 渡邉 勝正, 木村 晋二, 国島 丈生, 高木 一義
- 科学研究費 重点領域研究「ソフトウェア発展」第 1 回研究会, Jul., 1997. (in Japanese)
- プログラムの変化を観る 「ソフトウェア発展モデルの形成に備えて」
- 渡邉 勝正, 木村 晋二, 国島 丈生, 高木 一義
- 科学研究費 重点領域研究「ソフトウェア発展」C 班 研究集会, Dec., 1997. (in Japanese)
- 手指動作の記述文から 3 次元表示への変換 - 現状の紹介と計画 -
- 渡邉 勝正, 相良 かおる, 崎野 まき, 木村 晋二
- 手話工学研究会 - 「関西における手話工学の現状」, 1997. (in Japanese)
- コンテンツに適応する発展的ソフトウェアの構成法
- 渡邉 勝正, 木村 晋二, 高木 一義
- 科学研究費重点領域研究「ソフトウェア発展」第 2 回研究会, A03-09, Jan., 1998. (in Japanese)
- ワークフローモデル Workflow Base における演算子群
- 国島 丈生
- 平成9年度 科学研究費重点領域研究「高度データベース」東京ワークショップ, pp. 22-29, June 1997.
- ワークフローモデル Workflow Base におけるデータベース質問言語とエージェント協調アーキテクチャ
- 國島 丈生
- 平成9年度 科学研究費重点領域研究「高度データベース」平成9年度研究成果報告会, pp. 117-125, Jan. 1998.
- 順序回路の待ち状態に起因するフォールスパスの解析手法
- 中村 一博, 木村 晋二, 高木 一義, 渡邉 勝正
- 信学技報 VLD97-132, ICD97-237, pp. 71-76, March 1998.
- 全国大会
- ワークフローモデル Workflow Base におけるワークフロー質問言語
- 国島 丈生, 横田 一正
- 情報処理学会第55回(平成9年後期)全国大会, 6Y-3, pp. 4-177 - 4-178, 1998.
- 順序回路の待ち状態に起因するフォールスパスの解析とそれを用いたタイミング検証
- 中村 一博, 木村 晋二, 高木 一義, 渡邉 勝正
- 1998年 電子情報通信学会総合大会, A-3-8, pp. 94, March 1998.
- 論文誌・国際会議
- Hypothetical Query Processing for Workflow Management
- K. Yokota, T. Kunishima and H. Nakanishi
- Proc. Seminar on Logical Databases and the Meaning of Change, Sept. 1996.
- Flexible Workflow Framework for Supporting Collaborative Works
- T. Kunishima and K. Yokota
- International Symposium on Cooperative Database Systems for Advanced Applications, Dec. 1996.
- A Hardware/Software Codesign Method for a General Purpose Reconfigurable Coprocesor
- S. Kimura, M. Yukishita, Y. Itou, A. Nagoya, M. Hirao and K. Watanabe
- 5th International Workshop on Hardware/Software Codesign, March 1996.
- 研究会
- マルチクロック演算を考慮した論理回路のタイミング検証
- 木村 晋二, 平尾 誠, 高木 一義, 渡邉 勝正
- 信学技報 VLD96-33, pp. 53-58, June 1996.
- 汎用コプロセッサ GPCP-SS のハードウェア/ソフトウェア協調設計のためのコンパイラ
- 伊藤 康史, 平尾 誠, 木村 晋二, 渡邉 勝正
- DA シンポジウム '96 論文集, pp. 123--128, Aug. 1996.
- 手指動作の日本語による記述と 3 次元表示パラメータの抽出
- 相良 かおる, 板倉 寛如, 木村 晋二, 渡邉 勝正
- 情報処理学会研究報告、ヒューマンインタフェース 68-12, Sept. 1996.
- レジスタ転送レベル論理回路の設計検証のための回路縮小法について
- 坂手 孝規、木村 晋二、渡邉 勝正
- 電子情報通信学会 VLSI設計技術研究会 VLD96-91, March 1997.
- 汎用コプロセッサの DMA を用いたハードウェア/ソフトウェア協調動作法およびそのハードウェア部の最適化法について
- 伊藤 康史, 平尾 誠, 高木 一義, 木村 晋二, 渡邉 勝正
- 信学技報, Vol. 96, No. 556, pp. 17--22 (VLD96-98, ICD96-208), March 1997.
- 全国大会
- 汎用コプロセッサを有する計算機システムのためのハードウェア/ソフトウェア協調設計手法
- 伊藤 康史, 平尾 誠, 高木 一義, 木村 晋二, 渡邉 勝正
- 1996年 電子情報通信学会 基礎・境界ソサイエティ大会講演論文集, pp. 66 (A-66), Sept. 1996.
- 汎用コプロセッサのための最大遅延を保証するハードウェア設計手法の提案
- 平尾 誠, 伊藤 康史, 高木 一義, 木村 晋二, 渡邉 勝正
- 1996年 電子情報通信学会 基礎・境界ソサイエティ大会講演論文集, pp. 67 (A-67), Sept. 1996.
- 論文誌・国際会議
- Residue BDD and Its Application to the Verification of
Arithmetic Circuits.
- 木村晋二
- 32nd Design Automation Conference, June 1995.
- How DynaCam Supports Dynamism of Human Communication.
- 瀬川典久, 布川博士, 宮崎正俊.
- Proc. 6th International Conference on Human-Computer
Interaction, July 1995.
- 研究会
- 二分決定グラフに基づく計算複雑さに関する未解決問題について.
- 高木一義.
- 京都大学数理解析研究所短期共同研究「計算量理論の諸相−その
基礎的研究」, June 1995.
- 剰余BDDを用いた算術演算回路の設計検証.
- 木村晋二.
- 電子情報通信学会VLSI設計技術研究会 VLD95-46, July 1995.
- ワークフロー管理システムWorkFlowBaseにおけるワークフローデータモ
デル.
- 国島丈生, 上林弥彦.
- 情報処理学会データベース研究会 104-41, July 1995.
- 手話単語の日本語による記述とその応用について.
- 相良かおる, 木村晋二, 渡邉勝正.
- 情報処理学会ヒューマン・インタフェース研究会 62-9, Sept. 1995.
- トランスダクション法の並列化に関する研究.
- 松本太, 木村晋二, 渡邉勝正.
- 電子情報通信学会VLSI設計技術研究会 VLD95-89・FTS95-51,
Oct. 1995.
- 汎用コプロセッサGPCP-SSの実現と評価.
- 伊藤康史, 平尾誠, 木村晋二, 渡邉勝正.
- 電子情報通信学会VLSI設計技術研究会 VLD95-100・FTS95-62,
Oct. 1995.
- ハードウェア/ソフトウェア協調動作システム.
- 雪下充輝, 名古屋彰, 伊藤康史, 木村晋二.
- 情報処理学会DA研究会 78-21, Dec. 1995.
- 全国大会
- 開放型ワークフロー管理システムに関する考察.
- 国島丈生, 上林弥彦.
- 情報処理学会第51回全国大会 2U-5, Sept. 1995.
- 動的なコミュニケーションの枠組みの記述.
- 瀬川典久, 樋地正浩, 国島丈生, 渡邉勝正.
- 情報処理学会第51回全国大会 3U-1, Sept. 1995.
- 論文誌・国際会議
- 形式的検証について
- 木村晋二
- 情報処理, Vol.35, No.8, pp.726-735, Aug. 1994.
- BDDを用いた順序回路の形式的検証における逆像計算の並列化手法
- 永見康一, 木村晋二, 渡邉勝正
- International Symposium on Fifth Generation Computer
Systems 1994, Workshop on Parallel and DIstributed
LSI-CAD, Dec. 1994.
- 研究会
- アプリケーションに応じて再構成可能な汎用コプロセッサ
- 松岡裕人, 木村晋二, 渡邉勝正
- 情報処理学会DAシンポジウム94, pp.199-204, Aug. 1994.
- BDDを用いた正則表現論理シミュレーション手法
- 川崎通, 木村晋二, 渡邉勝正
- BDDワークショップ, Nov. 1994.
- 内部変数を持つ論理関数の等価性判定
- 中江達哉, 木村晋二, 渡邉勝正
- BDDワークショップ, Nov. 1994.
- 剰余BDDを用いた算術回路の設計検証
- 木村晋二
- BDDワークショップ, Nov.1994.
- 剰余BDDおよびそれを用いた算術演算回路の検証
- 木村晋二
- 信学技報 COMP94-73, pp.59-68, Dec. 1994.
- 全国大会
- ハードウェア/ソフトウェア協調動作のための再構成可能な汎用コプロ
セッサシステム
- 松岡裕人, 木村晋二, 渡邉勝正
- 情報処理学会第49回全国大会1L-5, Sept. 1994.
- ワークフローモデルにおけるビュー機能
- 国島丈生, 上林弥彦
- 情報処理学会第49回全国大会3E-7, Sept. 1994.
- 顔の3次元表示と表情の変化に関する研究
- 藤田一人, 木村晋二, 渡邉勝正
- 情報処理学会第50回全国大会3C-7, Mar. 1995.
- ワークフロー管理システムWorkFlowBaseのプロトタイプの実現と評価
- 国島丈生, 上林弥彦
- 情報処理学会第50回全国大会5M-7, Mar. 1995.
- 肢体不自由者の為の入力操作支援システムに関する研究
- 松本直子, 木村晋二, 渡邉勝正
- 情報処理学会第50回全国大会5T-1, Mar. 1995.
- 剰余BDDを用いた算術演算回路の検証
- 木村晋二
- 情報処理学会第50回全国大会6B-7, Mar. 1995.
- 論文誌・国際会議
- Preciseness of Discrete Time Verification
- Shinji Kimura, Shunsuke Tsubota, and Hiromasa Haneda
- IEICE Transactions on Fundamentals, Vol. E76-A, No.10,
pp. 1755-1759, Oct. 1993.
- Equality Checking of Two Logic Circuits with Different Internal
Variables Using BDD's
- Shinji Kimura
- In Proc. of IWLS93, pp. P3c-1-6, May 1993.
- BDD の並列処理技術
- 木村晋二
- 情報処理, Vol.34, No.5, pp. 624-630, May 1993.
- 研究会
- 形式的タイミング検証について
- 木村晋二
- 電子情報通信学会 第 6 回 CAS 軽井沢ワークショップ,
pp. 357-362, April 1993.
- 異なる内部変数を持つ論理関数の BDD 上での比較について
- 木村晋二
- 情報処理学会 DA シンポジウム93, pp. 125-128, Aug. 1993.
- 非共有記憶型並列計算機での二分決定グラフの並列処理アルゴリズム
について
- 木村晋二, 松本高明, 羽根田博正
- 情報処理学会 DA シンポジウム93, pp. 129-132, Aug. 1993.
- 全国大会
- BDD を用いた異なる内部変数を持つ論理回路の等価性判定
- 中江達哉, 木村晋二
- 情報処理学会第47回全国大会 4H-8, pp. 6-137-138, Oct. 1993.
- 分散記憶型並列計算機に対する並列二分決定グラフ構成アルゴリズム
- 木村晋二, 永見康一
- 情報処理学会第47回全国大会 6H-8, pp. 6-153-154, Oct. 1993.
- 超並列アルゴリズムについての考察
- 渡邉勝正, 木村晋二
- 平成 5 年電気関係学会関西支部連合大会, Nov. 1993.
- 定義域限定に基づく論理関数分割を用いた並列論理検証
- 永見康一, 木村晋二
- 情報処理学会第48回全国大会, pp. 6-71-72, March 1994.
渡邉研のホームページへ
Last modified: Thu Apr 11 17:56:56 JST 1996