発表論文一覧 2001年度(2001年4月-2002年3月)

論文誌・国際会議

  1. 小林郁典, 渡邉勝正.
    対話型プログラミング環境でのオブジェクトの一拡張法, pp. 65-68.
    近代科学社, Aug. 2001.
  2. N. Doi, K. Sumiyoshi, and N. Ishii.
    Estimation of Earliest Starting Time for Scheduling with Communication Costs.
    In Proc. of the 2nd International Conference on Software Enginnering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD '01), pp. 399-406, Aug. 2001.
  3. S. Kimura, D. Dill, and S. G. Govindaraju.
    A New Symbolic Image Computation Algorithm Based on BDD Constrain Operator.
    In Proc. of the 10th Workshop on Synthesis And System Integration of Mixed Technologies (SASIMI 2001), pp. 167-171, Oct. 2001.
  4. K. Nakamura, M. Nakanishi, T. Horiyama, M. Suzuki, S. Kimura, and K. Watanabe.
    A Real-Time User-Independent Eye Tracking LSI with Environment Adaptability.
    In Proc. of the 10th Workshop on Synthesis And System Integration of Mixed Technologies (SASIMI 2001), pp. 357-361, Oct. 2001.
  5. T. Horiyama and T. Ibaraki.
    Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams.
    In Proc. of the 12th Annual International Symposium on Algorithms and Computation (ISAAC 2001), LNCS 2223, Springer, pp. 231-243, Dec. 2001.
  6. M. Nakanishi, T. Indoh, K. Hamaguchi, and T. Kashiwabara.
    On the Power of Non-deterministic Quantum Finite Automata.
    IEICE Transactions on Information and Systems, Vol. E85-D, No. 2, pp. 327-332, Feb. 2002.

研究会

  1. T. Horiyama and T. Ibaraki.
    Translation between Characteristic Models and Ordered Binary Decision Diagrams.
    LAシンポジウム, Jul. 2001.
  2. 渡邉勝正, 小林郁典, 木村晋二, 堀山貴史, 中西正樹.
    アクティブソフトウェアの構成と表現について.
    日本ソフトウェア科学会第18回大会, 4D-2, Sep. 2001.
  3. 桑川栄一, 木村晋二, 渡邉勝正.
    構成概念モデルによる空間配置の支援.
    ヒューマンインタフェース学会, ヒューマンインタフェースシンポジウム 2001, pp. 175-178, Oct. 2001.
  4. 木村晋二, D. Dill, S. G. Govindaraju.
    BDD制約演算に基づく新しい像計算法について.
    電子情報通信学会 VLSI 設計技術研究会 VLD2001-101, ICD2001-146, FTS2001-48, Nov. 2001.
  5. 梶原裕嗣, 早川朋一, 松本剛英, 森下真秀, 鈴木真人, 中西正樹, 堀山貴史, 木村晋二, 渡邉勝正.
    顔の対称性を利用した不特定対象リアルタイム対顔判定チップ.
    第5回システムLSIワークショップ, pp. 255-258, Nov. 2001.
  6. 山下隆義, 木村晋二, 渡邉勝正.
    Web上で利用可能な手話単語アニメーションシステムの検討.
    ヒューマンインタフェース学会 第16回ヒューマンインタフェース学会研究会, vol.4, no.1, pp. 49-54, Jan. 2002.
  7. 西畑阿紀, 桑川栄一, 木村晋二, 渡邉勝正.
    口語的条件記述から設計の評価値に基づいて室配置を得る方法.
    ヒューマンインタフェース学会 第16回ヒューマンインタフェース学会研究会, vol.4, no.1, pp. 81-85, Jan. 2002.
  8. 鈴木真人, 木村晋二, 渡邉勝正.
    動的命令変更機構を持つ組み込み向けJavaプロセッサの設計と評価.
    情報処理学会 システムLSI設計技術研究会 SLDM105-6, pp. 33-40, Mar. 2002.

全国大会

  1. 山下隆義, 木村晋二, 渡邉勝正.
    Web上で利用可能な手話単語アニメーションシステムの検討.
    日本人間工学会 関西支部大会, pp. 43-46, Nov. 2001.
  2. 早川朋一, 木村晋二, 中西正樹, 堀山貴史, 渡邉勝正.
    リング発振器を用いたオンチップ高速シリアル通信方式.
    電子情報通信学会総合大会, A-3-4, Mar. 2002.
  3. 石井淳, 梶原裕嗣, 中西正樹, 堀山貴史, 木村晋二, 渡邉勝正.
    論理関数の重ね合わせに基づく加減算向きLUT.
    電子情報通信学会総合大会, A-3-25, Mar. 2002.