名前:

櫟　粛之




現職:

主任研究員

興味を持つ分野:

様相論理、高階カテゴリー論理、自動定理証明、 時相論理に基づく形式的検証、耐故障分散アルゴリズム、セキュリティプロトコル

略歴:

1985.3 東京大学理学部数学科卒業
1987.3 同大学院修士課程終了
1987.4 NTT情報通信処理研究所入所
1991.7 NTTコミュニケーション科学研究所
1993.3-1994.3 オランダ国立ユトレヒト大学客員研究員
1994.10-1995.2, 1995.10-1996.2 三重大学非常勤講師

所属学会:

主な文献:

国際会議

  1. H. Zhu, T. Araragi, T. Nishide and K. Sakurai:
    Composable Non-committing Encryptions in the Presence of Adaptive Adversaries, Proc. of the 5th International Conference on Security and Cryptography 2010, SECRYPT 2010 (to appear).
  2. H. Zhu, T. Araragi, T. Nishide and K. Sakurai:
    Composable Non-interactive String-Commitment Protocols, Proc. of the 5th International Conference on Security and Cryptography 2010, SECRYPT 2010 (to appear).
  3. H. Zhu, T. Araragi, T. Nishide and K. Sakurai:
    Adaptive and Composable Non-committing Encryptions, Proc. of the 15th Australasian Conference on Information Security and Privacy, ACISP 2010 (to appear).
  4. J. Nakamura, T. Araragi and S. Masuyama:
    Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses, Proc. of The 10th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2009, pp.80-87 (2009)
  5. T. Araragi and O. Pereira:
    Automatic Verification of Simulatability in Security Protocols, the 4th International Conference on Information Assurance and Security 2008, IAS 2008, pp.275?280 (2008).
  6. K. Imamoto, T. Araragi and K. Sakurai:
    On the Combination of Functionalities for Secure Protocols, Workshop on Formal and Computational Cryptography, FCC 2007
  7. T. Araragi and O. Pereira:
    Automatic Verification of Simulatability in Security Protocols, Computational Cryptography, FCC 2007
  8. T. Araragi and S. M. Cho:
    Checking Liveness Properties of Concurrent Systems by Reinforcement Learning, Workshop on Model Checking and Artificial Intelligence, MoChArt 2006, LNCS 4428, pp.84--94 (2007)
  9. T. Araragi:
    Byzantine Fault Tolerance for Agent Systems, Proc. of Int. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, pp.232--239 (2006)
  10. V. Bellemin and T. Araragi:
    CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack, Proc. of Int. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, pp.240--247 (2006)
  11. T. Araragi:
    Fault Tolerance for Internet Agent Systems: In Cases of Stop Failure and Byzantine Failure, Proc. of 4th Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp.123--124 (2005).
  12. T. Sakai, K. Terada and T. Araragi:
    Robust Online Reputation Mechanism by Stochastic Approximation, Proc. of 4th Symposium on Adaptive Agents and Multi-Agent Systems, AAMAS-04, LNCS 3394, pp.230--244 (2005).
  13. H.S. Seo, T. Araragi, Y. R. Kwon:
    Modeling and Testing Agent Systems based on Statecharts, Proc. of the 1st International Workshop on Integration of Testing Methodologies (ITM 2004),LNCS 3236, pp. 308--321    (2004)
  14. T. Sakai, K. Terada, T. Araragi:
    Robust Online Reputation Mechanism by Stochastic Approximation, Proc. of the 4-th Symposium on Adaptive Agents and Multi-Agent Systems (AAMAS-4) pp. 55--62 (2004).
  15. V.Bellemin, T. Araragi:
    Security Framework against Malicious Host Attack Based on CryptoComputing for     Mobile Agents, Proc. of the 1st European Workshop on Multi-Agent Systems, pp. 287--492 (2003).
  16. T. Araragi, S. Takata, N. Nide:
    A Verification Method for a Commitment Strategy of the BDI Architecture, Electr. Notes Theor. Comput. Sci. 70(5): (2002).
  17. N. Nide, S. Takata, T. Araragi:
    Deduction Systems for BDI Logics with Mental State Consistency, Electr. Notes Theor. Comput. Sci. 70(5): (2002).
  18. S. Moriya, T. Araragi:
    Dynamic Snapshot Algorithm and Partial Rollback Algorithm for Internet Agents, 15th International Symposium on DIStributed Computing, DISC 2001 Brief Announcements, DI-FCUL TR-01-7 J. Welch (ed.), pp. 23--28(2001).
  19. T. Araragi, K. Kogure:
    Dynamic Downloading of Communications Protocols Using a Logic Based Agent System, CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000, pp. 27-34(2000).
  20. T. Araragi, P.C. Attie, I. Keidar, K. Kogure, V. Luchangco, N.A. Lynch, K. Mano:
    On Formal Modeling of Agent Computations, FAABS 2000, LNCS 1871, pp. 48-62(2000).
  21. T. Araragi:
    A Uniform Theorem Proving Tableau Method for Modal Logic, Proc. of GODEL' 96, Lecture Notes in Logic, Vol. 6, Springer, pp. 173-182(1996).
  22. T. Araragi:
    Program Transformation in a Nonmonotonic Reasoning System, in Proc. of Workshop on Static Analysis (WSA'92), Bigre 81-82 -septembre 1992, pp. 135-143(1992).
  23. T. Araragi:
    A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems, Workshop of Theorem Proving with Analytic Tableaux and Related Methods(TABLEAUX'92), Technical Report 8/92, University of Karlsruhe, Insititut fur Logick, Komplexitat und Deduktionssysteme, pp. 4-6(1992).

論文誌

  1. 新出尚之, 高田司郎, 櫟粛之:
    エージェントの相互信念を扱う拡張 BDI logic の演繹体系, 情報処理学会論文誌：数理モデル化と応用, (to appear).
  2. 新出尚之, 高田司郎, 櫟粛之:
    合理的エージェントの心的状態に関する整合性の実現と応用について, 電子情報通信学会論文誌, Vol.~J86-D-I, No.~8, pp.\ 514--523 (2003).
  3. 守屋宣, 櫟粛之:
    インターネットエージェントのための動的スナップショット アルゴリズムと部分ロールバックアルゴリズム, 電子情報通信学会論文誌, Vol.~J86-D-I, No.~5, pp.\ 301--317 (2003).
  4. 新出尚之, 高田司郎, 櫟粛之:
    BDI Logicのsequent calculusによる演繹体系, コンピュータソフトウェア, Vol.~20, No.~1, pp.\ 66--83 (2003).
  5. 櫟　粛之:
    First-Order定義可能な様相論理体系に対する自動定理証明, 人工知能学会誌, Vol.11, No.2, pp.228--237(1996).
  6. 櫟　粛之、石田　亨:
    デフォルト論理に基づく知識プログラミングシステムと そのプログラム変換の理論的枠組, 人工知能学会誌, Vol.7, No.2, pp.280--291(1992).

連絡先:

日本電信電話株式会社
NTT コミュニケーション科学基礎研究所
E-mail:araragi@cslab.kecl.ntt.co.jp

619-0237 京都府相楽郡精華町光台2-4