金田の論文全編リスト

学位論文

博士論文

修士論文

卒業論文

査読論文

主著ジャーナル論文

  1. 金田 泰, 石田 和久, 布広 永二 : 大域配列データフロー解析法, 情報処理学会論文誌, Vol. 28, No. 6, pp. 567-576, 1987.
  2. 金田 泰, 小島 啓二, 菅谷 正弘 : ベクトル計算機のための探索問題の計算法 「並列バックトラック計算法」, 情報処理学会論文誌, Vol. 29, No. 10, pp. 985-994, 1988.
  3. 金田 泰, 菅谷 正弘 : OR 並列実行のための論理型言語プログラムの ベクトル化法, 情報処理学会論文誌, Vol. 30, No. 4, pp. 495-506, 1989.
  4. 金田 泰, 菅谷 正弘 : プログラム変換にもとづくリストのベクトル処理方法と そのエイト・クウィーン問題への適用, 情報処理学会論文誌, Vol. 30, No. 7, pp. 856-868, 1989.
  5. Kanada, Y.: A method of vector processing for shared symbolic data, Parallel Computing, Vol. 19, pp. 1155-1175, 1993.
  6. Kanada, Y. and O'Keefe, B. J.: Rule-Based Building-Block Architecture for Policy-based Networking, Journal of Network and Systems Management, Vol. 11, No. 3, pp. 253-275, 2003.

主著会議論文

  1. Kanada, Y., Kojima, K., and Sugaya, M.: Vectorization Techniques for Prolog, ACM International Conference on Supercomputing, pp. 539-549, St. Malo, 1988.
  2. Kanada, Y., and Sugaya, M.: Vectorization Techniques for Prolog without Explosion, International Joint Conference on Artificial Intelligence '89, pp. 151-156, 1989. (Referred by ``Articles by Kanada, Y.'')
  3. Kanada, Y. : A Vectorization Technique of Hashing and its Application to Several Sorting Algorithms, PARBASE-90, IEEE, pp. 147-151, 1990.
  4. Kanada, Y.: A Method of Vector Processing for Shared Symbolic Data, International Conference on Supercomputing '91, Albuquerque, 1991. (Referred by ``Articles by Kanada, Y.'')
  5. Kanada, Y., and Hirokawa, M.: Stochastic Problem Solving by Local Computation based on Self-organization Paradigm, 27th Hawaii International Conference on System Sciences (HICSS-27), pp. 82-91, 1994. (Referred by ``Articles by Kanada, Y.'')
  6. Yasusi Kanada: Fuzzy Constraint Satisfaction Using CCM -- A Local Information Based Computation Model, Fuzz-IEEE/IFES '95, pp. 2319-2326, 1995.
  7. Yasusi Kanada: Combinatorial Problem Solving Using Randomized Dynamic Tunneling on A Production System, IEEE Systems, Man and Cybernetics '95, 1995.
  8. Yasusi Kanada: Axis-specified Search: A Fine-grained Full-text Search Method for Gathering and Structuring Excerpts, 3rd ACM Conference on Digital Libraries, pp. 108-117, 1998.
  9. Yasusi Kanada: Methods of Extracting Year References for Chronological-table-generating Text Searching, International Symposium on Digital Library 1999, pp. 135-142, 1999.
  10. Yasusi Kanada: A Method of Geographical Name Extraction from Japanese Text for Thematic Geographical Search, 18th International Conference on Information and Knowledge Management (CIKM'99), pp. 46-54, 1999.
  11. Yasusi Kanada: A Representation of Network Node QoS Control Policies Using Rule-based Building Blocks, International Workshop on Quality of Service 2000 (IWQoS 2000), pp. 161-163, 2000.
  12. Kanada, Y.: Two Rule-based Building-block Architectures for Policy-based Network Control, 2nd International Working Conference on Active Networks (IWAN 2000), Lecture Notes in Computer Science, No. 1942, pp. 195-210, Springer, October 2000.
  13. Kanada, Y.: Taxonomy and Description of Policy Combination Methods, Workshop on Policies for Distributed Systems and Networks (Policy 2001), Lecture Notes in Computer Science, No. 1995, Springer, pp. 171-184, January 2001.
  14. Kanada, Y.: Examples and A Method of Policy Division and Fusion -- Or, Multiple Classifiers Considered Harmful --, IFIP/IEEE International Symposium on Intelligent Network Management (IM 2001), pp. 545-560, May 2001.
  15. Kanada, Y., and Yazaki, T.: A Method of Software-Hardware Integration for QoS Policy Combination in Gigabit Routers, Communications Quality and Reliability 2002 (CQR 2002), pp. 12-16, April 2002.
  16. Kanada, Y.: Dynamically Extensible Policy Server and Agent, 3rd International Workshop on Policies for Distributed Systems and Networks (Policy 2002), pp. 236-239, June 2002.
  17. Kanada, Y.: Multi-Context Voice Communication Controlled By Using An Auditory Virtual Space, 2nd IASTED International Conference on Communication and Computer Networks (CCN 2004), pp. 467-472, November 2004.
  18. Kanada, Y.: Multi-Context Voice Communication In A SIP/SIMPLE-Based Shared Virtual Sound Room With Early Reflections, 15th ACM International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV 2005), pp. 45-50, June 2005.

主著会議ポスター・ポスター論文

  1. Kanada, Y.: The Effects of Randomness in Asynchronous 1D Cellular Automata, Artificial Life IV, Poster (included in the ``unpublished'' conference proceedings), 1994.
  2. Kanada, Y.: Combinatorial Problem Solving Using Randomized Dynamic Composition of Production Rules, 1995 Int'l Conference on Evolutionary Computation (ICEC '95), pp. 467-472, 1995. (PDF File)
  3. Kanada, Y., and O'Keefe, B. J.: Diffserv Policies and Their Combinations in OpenView/JP1 PolicyXpert, Asia-Pacific Network Operations and Management Symposium 2001 (APNOMS 2001), September 2001 (poster paper, presentation cancelled).
  4. Kanada, Y.: SIP/SIMPLE-based Conference Room Management Method for the Voice Communication Medium "voiscape", Asia-Pacific Network Operations and Management Symposium 2005 (APNOMS 2005), September 2005 (poster paper)
  5. Kanada, Y.: Simulated Virtual Market Place By Using voiscape Communication Medium, 13th ACM International Conference on Multimedia, pp. 794-795, November 2005 (technical demonstration)

共著論文

  1. マージ型ベクトル演算機構を用いた高速化方式，情報処理学会論文誌， Vol. 33, No. 2, 1992.
  2. マージ型ベクトル演算による非数値処理ベクトル化手法，情報処理学会論文誌， Vol. 30, No. 10, 1989.
  3. Yasumura, M., Tanaka, Y., Kanada, Y., Aoyama, A.: Compiling Algorithms and Techniques for the S-810 Vector Processor, Int'l Conf. on Parallel Processing, IEEE, pp. 258-290, 1984.
  4. Gotoo, S., Tanaka, Y., Iwasawa, K., Kanada, Y., and Aoyama, A.: Advanced Vectorization Techniques for Supercomputers, Journal of Information Processing, Vol. 11, No. 1, pp. 22-31, 1987.
  5. Torii, S., Kojima, K., Kanada, Y., Sakata, A., Yoshizumi, S., and Takahashi, M.: Accelerating Non-Numerical Processing by an Extended Vector Processor, 4th Int'l Conf. on Data Engineering, pp. 194-201, 1988. (An alternative reference site)

研究会報告等

主著

  1. 金田 泰 : スーパー・コンピュータによる Prolog の高速実行, 第 26 回プログラミング・シンポジウム報告集, 47-56, 1985. (この発表により， 山内奨励賞を受賞)
  2. 金田 泰 : ベクトル計算機による論理型言語プログラムの高速実行をめざして -- 各種 OR ベクトル実行方式の実現と性能 --, 情報処理学会プログラミング言語研究会, PL-87-12, 1987.
  3. 金田　泰 : コンピュータによる自己組織系のモデルをめざして, 第 33 回プログラミング・シンポジウム報告集, 1992. (この発表により， 山内奨励賞を受賞)
  4. 金田　泰 : 自己組織系としての計算システム -- ソフトウェア研究への 2 つの 提案 --, 夏のプログラミング・シンポジウム報告集, 1992.
  5. プロダクション規則と局所評価関数による最適化の方法とその計算過程における マクロなふるまい, 第 11 回計測自動制御学会システム工学部会 研究会, pp. 27-34, 1993.
  6. 金田　泰 : 確率過程としての計算 -- 計算過程のマクロ・モデルの必要性と その例 --, 電子情報通信学会コンピューテーション研究会 / ソフトウェア サイエンス研究会, COMP92-93, SS92-40, pp. 1-10, 1993.
  7. 金田 泰, 廣川 真男 : プロダクション規則と局所評価関数による制約充足 問題の解法, 情報処理学会記号処理研究会, 93-SYM-68-2, pp. 9-16, 1993.
  8. 金田 泰 : プロダクション規則と局所評価関数にもとづく計算モデル CCM による問題解決法の特徴, SWoPP '93 (情報処理学会人工知能研究会), 93-AI-89-2, pp. 11-20, 1993.
  9. 金田 泰 : プロダクション規則と局所評価関数にもとづく計算モデル CCM による各種のソート法, 情報処理学会記号処理研究会, 93-SYM-71-5, pp. 33-40, 1993.
  10. 金田 泰 : 化学反応系とのアナロジーにもとづく自己組織的情報処理のため のモデル CCM, 長期研究会「複雑系 2」発表報告 (A4, 1 枚), 物性研究, 1994.2.
  11. 金田 泰 : プロダクション規則の合成による記号的ランダム・トンネリング -- 計算モデル CCM* による制約充足と最適化 --, 計測自動制御学会第 14 回システム工学分科会研究会 "組合せ問題とスケジューリング問題の新解法," pp. 45-52, 1994.
  12. 金田 泰 : 創発的計算のためのモデル CCM による動的なグラフ彩色, 人工知能学会並列人工知能研究会, SIG-PPAI-9401, pp. 7-12, 1994.
  13. 金田 泰 : 創発的計算のためのモデル CCM による問題解決法における局所性 の制御法, SWoPP '94 (情報処理学会人工知能研究会), 94-AI-95-4, pp. 29-38, 1994.
  14. 金田 泰 : 創発的計算のための言語 SOOC: その特徴と実装 -- 魔方陣を例題 として --, 情報処理学会記号処理研究会, 94-SYM-75-5, pp. 31-38, 1994.
  15. 金田 泰 : 局所情報によるアニーリングをつかった大規模制約充足と その並列処理 -- 創発的計算のためのモデル CCM の応用 --, SWoPP '95 (情報処理学会人工知能研究会), AI95-16, 17-24, 1995.
  16. Yasusi Kanada: Methods of Parallel Processing of Constraint Satisfaction Using CCM --- A Model for Emergent Computation, SIG PPAI, Japan Society for Artificial Intelligence, Feb, 1996.
  17. 金田 泰 : Web ページを自己再生産する JavaScript プログラム, 情報処理学会「夏のプログラミング・シンポジウム」, 別冊 (105-112), 1997-7.
  18. Yasusi Kanada: Web Pages That Reproduce Themselves by JavaScript, ACM SIGPLAN Notices, Vol. 32, No. 11, 49-56, November, 1997. (前項の英訳)
  19. 金田 泰: 軸づけ検索法 -- 文書からの抜粋を抽出・整理して出力する 全文検索法, 情報処理学会 情報学基礎研究会報告 98-FI-50-4, pp. 25-32, 1998.
  20. 金田 泰: 百科事典から動的に年表を生成するテキスト検索法のための 年代情報の抽出法と表現法, 情報処理学会 情報学基礎研究会報告 99-FI-?, 1999.
  21. 金田 泰: 検索結果を地域で整理する百科事典テキスト検索のための地名情報抽出法, 情報処理学会 自然言語処理研究会報告 99-NL-132-2, 1999.
  22. 金田 泰: Rule-based Modular Representation of QoS Policies, 電子情報通信学会 ネットワーキング・アーキテクチャ・ワークショップ 10 周年記念大会, pp. 106-113, IEICE, 2000.
  23. 金田 泰: ネットワークのポリシー制御のための 2 つの部品化アーキテクチャの比較， 電子情報通信学会 情報ネットワーク (IN) 研究会, 2000-10.
  24. 金田 泰，ブライアン・オキーフ: ポリシーサーバ PolicyXpert における Diffserv ポリシーとそのくみあわせ，電子情報通信学会 情報ネットワーク・ネットワークシステム 合同研究会， 2002-3．
  25. 金田 泰: 仮想の "音の部屋" によるコミュニケーション・メディア Voiscape, 電子情報通信学会 マルチメディアと仮想環境研究会, 2003-10.
  26. 金田 泰: 仮想の "音の部屋" によるコミュニケーション・メディア Voiscape におけるポリシーベース・セッション制御, 電子情報通信学会 インターネットアーキテクチャ研究会, 2003-10.
  27. 金田 泰: 仮想の "音の部屋" によるコミュニケーション・メディア Voiscape の JMF と Java 3D を使用した実装, 情報処理学会 マルチメディア通信と分散処理研究会, 2004-3.
  28. 金田 泰: 仮想の "音の部屋" によるコミュニケーション・メディア voiscape のための音声 3D 化と残響の計算, 電子情報通信学会 応用音響研究会, 2005-6.

全国大会等

  1. 金田 泰, 安村 通晃 : 多パイプライン方式アレイ・プロセッサのレジスタ わりあて方式, 情報処理学会第 27 回全国大会, 7P-2, 1983.
  2. 田中 義一, 金田 泰, 安村 通晃 : ベクトルコンパイラにおける変数の データフロー解析の方式, 情報処理学会第 27 回全国大会, 7P-9, 1983.
  3. 金田 泰, 菅谷 正弘 : リストのデータ変換にもとづく Prolog プログラムのベクトル処理法とその評価, 情報処理学会第 41 回全国大会, 1990.
  4. 金田 泰, 菅谷 正弘 : 共有部分がある複数データのベクトル処理方法, 情報処理学会第 42 回全国大会, 4M-2, 1991.
  5. 金田 泰, 菅谷 正弘 : ベクトル記号処理のためのデータ構造「マルチ・ベクトル」とその応用, ソフトウェア科学会 8 回大会, 1991. (増補改訂して 博士論文 に収録)
  6. 金田 泰 : プロダクション規則と局所評価関数にもとづく計算モデル CCM -- その拡張と 0-1 整数計画問題への適用 --, 情報処理学会第 47 回全国大会, 1993.10.
  7. 金田 泰 : 創発的計算のためのモデル CCM による制約充足問題などの 独立並列処理法, 情報処理学会 第 49 回全国大会, pp. 4-321 - 322, 1994.
  8. 金田 泰 : 化学反応系とのアナロジーにもとづく開放的で複雑な計算のための モデル CCM -- その連動式ニューラルネットとの関係について --, 日本神経回路学会第 5 回全国大会, pp. 36-39, 1994.
  9. 金田 泰，山崎 幹夫，澤田 瑞穂，平野 義明，藤井 泰文: 「ネットで百科」における「テーマ年表検索」の機能と実装法, 情報処理学会第 58 回全国大会，1J-3, 1999.
  10. 金田 泰，山崎 幹夫，澤田 瑞穂，平野 義明，藤井 泰文: 「ネットで百科」における「テーマ地図検索」の機能と実装法, 情報処理学会第 59 回全国大会，3P-9, 1999.

解説記事等

  1. 「記憶装置」，「入出力装置」 の項目，世界大百科事典
  2. 金田 泰: IETF 標準化を中心としたポリシー管理技術の動向， 電子情報通信学会 2002 年総合大会，2002-3.
  3. 金田 泰: 20 世紀の名著名論 Robert W. Floyd: Nondeterministic Algorithms, 情報処理 vol. 44, No. 2, 2003.

RFC, インターネット・ドラフト

インターネット・ドラフト

参照: [Full List (English)], [Lists of Papers (English)], [Lists of Papers (Japanese)].
Y. Kanada (Send comments to yasusi @ kanadas.com)
Created: 7/11/96, Updated: 11/13/2005.