• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TSUJI Takashi  辻 尚史

ORCIDConnect your ORCID iD *help
Researcher Number 70016666
External Links
Affiliation (based on the past Project Information) *help 1998 – 2005: 千葉大学, 理学部, 教授
1995 – 1996: Chiba Univ., Science Prof., 理学部, 教授
1990 – 1994: 筑波大学, 電子・情報工学系, 助教授
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
Science and Engineering / 計算機科学 / 社会システム工学 / 情報工学 / General mathematics (including Probability theory/Statistical mathematics) / Statistical science
Keywords
Principal Investigator
NU / music information processing / artificial inteligence / graph theory / programming / theory of programs / logic / 人工知能 / プログラム検証 / 時制算術 … More / ν-転換 / 解析的意味論 / CMP / オブジェクト指向 / PSYCHE / 音楽情報処理 / envelope system … More
Except Principal Investigator
グラフ書き換え / 抽象モデル検査 / 証明検証系 / 形式的手法 / 文法的性質 / セルオートマトン / 時相論理 / 層別無作為標本 / ブートストラップ検定 / American option / fuzzy preference / robustness / optimality equation / perception / optimal stopping problem / fuzzy relation / Markov decision process / ファジー数の順序 / 多段決定過程 / 区間ゲーム / 区間解析と凸解析 / ファジー推移 / マルコフ決定過 / アメリカンオプション / ファジー選考順序 / ロバストネス / 最適方程式 / パーセプション / 最適停止問題 / ファジー関係式 / マルコフ決定過程 / α-conversion / substitution / first-class context / explicit substitution / cut elimination / intuitionistic modal logic / modal substructural logic / context / explicit environment / 正規化 / α変換 / 束縛変数 / 代入操作 / 文脈 / 明示的代入 / カット除去 / 直観主義的様相論理 / 様相部分構造命題論理 / Substructural Logic / Strong Normalization / Syntactic Property / Category Theory / Model / Semantics / Type Theory / 部分構造理論 / 強正規化 / 部分構造論理 / 強制規化 / カテゴリ理論 / モデル / 意味論 / 型理論 / artificial intelligence / equivalence theory / music information processing / incomplete information game / programming language NU / nu-conversion / 軌跡準同型 / 不完全情報ゲ-ム / Uー転換 / V-転換 / 人工知能 / 同値理論 / 音楽情報処理 / 不完全情報ゲーム / NU / レー転換 / 時間ペトリネット / 時間付きオートマトン / 時間付き多重集合書き換え / ダ-ウィンのとうもろこしデータ / 単純無作為標本 / 尺度変換 / 位置変換 / 混合ブートストラップ法 / パワー / 検定のサイズ / 混合法 / 尺度の変換 / 位置 / ブートストラップt統計量 / 単純無作為 / 平均値の差の検定 / 二標本問題 Less
  • Research Projects

    (10 results)
  • Co-Researchers

    (23 People)
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      山本 光晴
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      山本 光晴
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      YAMAMOTO Mitsuharu
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  Research on theories and applications of the robust structure of fuzzy decision processes

    • Principal Investigator
      NAKAGAMI Jun-ichi
    • Project Period (FY)
      2001 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      社会システム工学
    • Research Institution
      Chiba University
  •  Relation between Semantics of Logical System and its Syntactic Properties

    • Principal Investigator
      SAKURAI Takafumi
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      CHIBA UNIVERSITY
  •  Relation between Semantics of Type Theory and its Syntactic Properties

    • Principal Investigator
      SAKURAI Takafumi
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Chiba University
  •  標本抽出方法を考慮したブートストラップ検定についての研究

    • Principal Investigator
      田栗 正章
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chiba University
  •  単純無作為標本および層別標本に基づくブートストラップt検定についての研究

    • Principal Investigator
      TAGURI Masaaki
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Statistical science
    • Research Institution
      Chiba University
  •  Co-operative research on theoretical foundations of computer programsPrincipal Investigator

    • Principal Investigator
      TSUJI Takashi
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chiba University
      University of Tsukuba
  •  Theory and implementation of predicate-logical programs

    • Principal Investigator
      IGARASHI Shigeru
    • Project Period (FY)
      1990 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      University of Tsukuba
  • 1.  YAMAMOTO Mitsuharu (00291295)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 2.  TAGURI Masaaki (10009607)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  SAKURAI Takafumi (60183373)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  萩谷 昌己 (30156252)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  MIZUTANI Tetsuya (70209758)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  HOSONO Chiharu (20108294)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  KOMORI Yuichi (10022302)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  西崎 真也 (90263615)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  高橋 孝一
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  OHKI Atsuo (20160434)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  NISHIMURA Hirokazu (70135614)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  HITOTUMATU Shin (10027378)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  NANBA Kanji (40015524)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  YONEDA Nobuo (50080487)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  NAKAGAMI Jun-ichi (30092076)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  KURANO Masami (70029487)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  YASUDA Masami (00041244)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  YOSHIDA Yuji (90192426)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  TANEMURA Hideki (40217162)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  今野 良彦 (00205577)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  腰越 秀之 (70110294)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi