• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2014 年度 実績報告書

ゲーム木における固有分布一意性の破れ:計算資源限定マルチンゲールによる研究

研究課題

研究課題/領域番号 22540146
研究機関首都大学東京

研究代表者

鈴木 登志雄  首都大学東京, 理工学研究科, 准教授 (30235973)

研究分担者 隈部 正博  放送大学, 教養学部, 教授 (70255173)
研究期間 (年度) 2010-04-01 – 2015-03-31
キーワード数学基礎論 / 数理論理学 / 計算量理論 / ゲーム理論 / 人工知能 / 命題論理 / 最適化問題 / ミニマックス定理
研究実績の概要

鈴木は確率制約付きAND-OR木の均衡点について昨年度公表したプレプリント[1]の内容を国際研究集会のポスターセッションで発表した(2014年6月,パリ).その内容を改良して査読付き雑誌に投稿し(2014年7月),5つの国内学会・研究集会で発表した(2014年9月東京・広島,11月神戸,12月東京・京都).国内での発表活動と並行して文脈自由言語に関するYamakamiのopen problem (Theoret. Comput. Sci.誌,2011)を解決し,プレプリント[2]を公表した(2015年2月).さらに資源限定マルチンゲールに関して2010年度に隈部・鈴木の連名で投稿した論文について最終的な改訂を行い,掲載決定通知を受けた (2015年3月,Information and Computation 誌,doi:10.1016/j.ic.2015.03.004.3月20日から電子ジャーナル版がScienceDirectにおいて公開されている).また,隈部は国際研究集会 Constructivism and Computability (2015年3月2日から6日,石川県・金沢市)においてプログラム編成委員をつとめた.
[1] Toshio Suzuki and Yoshinao Niida "Equilibrium points of an AND-OR tree: under constraints on probability," arXiv:1401.8175[cs.AI]
[2] Toshio Suzuki "A solution to Yamakami's problem on advised context-free languages," arXiv:1502.00367[cs.FL]

現在までの達成度 (段落)

26年度が最終年度であるため、記入しない。

今後の研究の推進方策

26年度が最終年度であるため、記入しない。

  • 研究成果

    (11件)

すべて 2015 2014 その他

すべて 雑誌論文 (2件) (うち査読あり 2件、 謝辞記載あり 2件) 学会発表 (6件) (うち招待講演 2件) 備考 (3件)

  • [雑誌論文] Resource-bounded martingales and computable Dowd-type generic sets2015

    • 著者名/発表者名
      Masahiro Kumabe, Toshio Suzuki
    • 雑誌名

      Information and Computation

      巻: - ページ: -,-

    • DOI

      10.1016/j.ic.2015.03.004

    • 査読あり / 謝辞記載あり
  • [雑誌論文] Geometrical redundancy of street patterns based on threshold of isoperimetric ratio2014

    • 著者名/発表者名
      Toshio Suzuki, Yuji Hatakeyama
    • 雑誌名

      IAENG Transactions on Engineering Sciences

      巻: special issue ページ: 91-100

    • DOI

      10.1201/b16763-10

    • 査読あり / 謝辞記載あり
  • [学会発表] AND-OR木の均衡点:確率制約がある場合2014

    • 著者名/発表者名
      鈴木登志雄, 仁井田哲尚
    • 学会等名
      RIMS研究集会 証明論・計算論とその周辺
    • 発表場所
      京都大学数理解析研究所(京都府・京都市)
    • 年月日
      2014-12-24
  • [学会発表] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014

    • 著者名/発表者名
      Toshio Suzuki
    • 学会等名
      ELC Seminar
    • 発表場所
      東京工業大学田町キャンパス(東京都・港区)
    • 年月日
      2014-12-04
    • 招待講演
  • [学会発表] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014

    • 著者名/発表者名
      Toshio Suzuki
    • 学会等名
      Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday
    • 発表場所
      神戸大学(兵庫県・神戸市)
    • 年月日
      2014-11-17
    • 招待講演
  • [学会発表] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014

    • 著者名/発表者名
      Toshio Suzuki, Yoshinao Niida
    • 学会等名
      日本数学会2014年度秋季総合分科会
    • 発表場所
      広島大学(広島県・広島市)
    • 年月日
      2014-09-27
  • [学会発表] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014

    • 著者名/発表者名
      Toshio Suzuki, Yoshinao Niida
    • 学会等名
      日本応用数理学会2014年度年会 ポスターセッション
    • 発表場所
      政策研究大学院大学(東京都・港区)
    • 年月日
      2014-09-03
  • [学会発表] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014

    • 著者名/発表者名
      Toshio Suzuki, Yoshinao Niida
    • 学会等名
      The 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (Poster Session)
    • 発表場所
      パリ(フランス)
    • 年月日
      2014-06-16
  • [備考] Researchmap 鈴木登志雄

    • URL

      http://researchmap.jp/read0021048/?lang=japanese

  • [備考] Researchmap Toshio Suzuki

    • URL

      http://researchmap.jp/read0021048/?lang=english

  • [備考] 鈴木登志雄 研究内容紹介

    • URL

      http://www.ac.auone-net.jp/~bellp/researchtopic-j.html

URL: 

公開日: 2016-06-01  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi