メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
TSUJI Takashi
辻 尚史
Connect 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
/
計算機科学
/
Statistical science
/
General mathematics (including Probability theory/Statistical mathematics)
/
情報工学
/
社会システム工学
Keywords
Principal Investigator
NU / envelope system / 音楽情報処理 / PSYCHE / オブジェクト指向 / CMP / 解析的意味論 / ν-転換 / 時制算術 / プログラム検証
…
More
/ 人工知能 / logic / theory of programs / programming / graph theory / artificial inteligence / music information processing
…
More
Except Principal Investigator
形式的手法 / 証明検証系 / 抽象モデル検査 / グラフ書き換え / ブートストラップ検定 / 層別無作為標本 / 時相論理 / セルオートマトン / 文法的性質 / 二標本問題 / 平均値の差の検定 / 単純無作為 / ブートストラップt統計量 / 位置 / 尺度の変換 / 混合法 / 検定のサイズ / パワー / 混合ブートストラップ法 / 位置変換 / 尺度変換 / 単純無作為標本 / ダ-ウィンのとうもろこしデータ / 時間付き多重集合書き換え / 時間付きオートマトン / 時間ペトリネット / レー転換 / NU / 不完全情報ゲーム / 音楽情報処理 / 同値理論 / 人工知能 / V-転換 / Uー転換 / 不完全情報ゲ-ム / 軌跡準同型 / nu-conversion / programming language NU / incomplete information game / music information processing / equivalence theory / artificial intelligence / 型理論 / 意味論 / モデル / カテゴリ理論 / 強制規化 / 部分構造論理 / 強正規化 / 部分構造理論 / Type Theory / Semantics / Model / Category Theory / Syntactic Property / Strong Normalization / Substructural Logic / 様相部分構造命題論理 / 直観主義的様相論理 / カット除去 / 明示的代入 / 文脈 / 代入操作 / 束縛変数 / α変換 / 正規化 / explicit environment / context / modal substructural logic / intuitionistic modal logic / cut elimination / explicit substitution / first-class context / substitution / α-conversion / マルコフ決定過程 / ファジー関係式 / 最適停止問題 / パーセプション / 最適方程式 / ロバストネス / ファジー選考順序 / アメリカンオプション / マルコフ決定過 / ファジー推移 / 区間解析と凸解析 / 区間ゲーム / 多段決定過程 / ファジー数の順序 / Markov decision process / fuzzy relation / optimal stopping problem / perception / optimality equation / robustness / fuzzy preference / American option
Less
Research Projects
(
10
results)
Co-Researchers
(
23
People)
Project Start Year (Newest)
Project Start Year (Oldest)
抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証
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 programs
Principal 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
# of Projects (Dsc)
# of Projects (Asc)
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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
この研究者とORCID iDの連携を行いますか？
※ この処理は、研究者本人だけが実行できます。
×
×
