メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
YASUMOTO Masahiro
安本 雅洋
Connect your ORCID iD
*help
…
Alternative Names
安本 雅洋 ヤスモト マサヒロ
Less
Researcher Number
10144114
Other IDs
External Links
Affiliation (based on the past Project Information)
*help
2006: Nagoya University, Gratuate School of formation Science, professor, 大学院情報科学研究科, 教授
2004 – 2005: 名古屋大学, 大学院・情報科学研究科, 教授
1999 – 2002: 名古屋大学, 大学院・人間情報学研究科, 教授
1995 – 1998: Nagoya University, Graduate School of Polymathematics, Associate Professor, 大学院・多元数理科学研究科, 助教授
1997: Nagoya Univ., Graduate School of Math, Assoc.Professor, 大学院多元数理科学研究科, 助教授
…
More
1995: 名古屋大学, 多元数理科学研究科, 助教授
1994: 名古屋大学, 理学部, 助教授
1992: 名古屋大学, 教養部, 助教授
1990: 名古屋大学, 教養部, 助教授
1989: 名古屋大学, 教養部, 講師
1986: 名古屋大学, 理学部, 助手
Less
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
/
代数学・幾何学
/
Geometry
/
Algebra
/
General mathematics (including Probability theory/Statistical mathematics)
/
Geometry
Keywords
Principal Investigator
超準モデル / 限定算術 / 多項式時間計算量 / ブール値モデル / モデル理論 / 不定方程式 / 超準解析 / 多項式時間計算可能 / bounded arithmetic / computational complexity / nonstandard models
…
More
Except Principal Investigator
…
More
計算量 / 公理的集合論 / 巨大基数 / 帰納的関数 / 量子力学 / 強制法 / 超準解析学 / ユニタリ表現 / Schrodinger表現 / 位相作用素 / 超準解析 / ブール値モデル / 量子計算 / 量子チューリング機械 / 量子回路 / 量子アルゴリズム / 量子測定 / recursive function / nonstandard analysis / 数学基礎論 / model / structure / stability / DNA library screening / pooling experiment / Bayesian Network / LDPC code / positive detecting / combinatorial designs / consecutive positives / Kleene次数 / 連続体仮説 / 決定性公理 / 極小次数 / 構成可能性公理 / シュレジンガ-作用系 / 極小曲面 / Lie接触構造 / 実2次体 / 最大羃零拡大 / ブール代数値解析学 / 超有限Heisenberg群 / 超有限行列環 / ブール超巾 / 確率過程 / 停止問題 / 帰納的関数論 / 【Δ(^1-2)】 / β-モデル / 有限の型の対象 / ブール値解析学 / ノンスタンダードモデル / 【C^ω】Nash多様体 / computational complexity / Boolean-valed model / axiomatic set theory / 微分形式 / 包合系 / ツイスター / 3階の常微分方程式 / グラスマン構造 / ツイスター構造 / differential form / involutive system / twistor / third order ODE / Grassman structure / 量子光学 / Heisenberg(ハイゼンベルク)群 / 正準交換関係 / 超有限 / 量子化 / Heisenberg群 / Z_1飽和的超準宇宙 / 超準殻 / 作用素測度 / Naimark拡大 / Hilberk■間 / quantum optics / Heisenberg groups / canonical commutation relatins / unitary representations / hyperfinite / phase operators / quantizations / 論理構造 / 計算論 / 型理論 / 形式算術 / 2階算術 / 逆数学 / 限定算術 / ラムダ計算 / ロジック / 証明論 / 算術のモデル / logical structures / theory of computation / type theory / formal arithmetic / second order arithmetic / reverse mathematics / bounded arithmetic / lambda calculus / 多項式時間計算可能性 / computational quantity / polynomial-time / 量子Turing機械 / 量子計算量理論 / 量子ゲート / 量子論理素子 / 量子誤り訂正理論 / 制御否定ゲート / 加法的保存量 / 誤り訂正理論 / 万能量子論理素子 / 制御否定素子 / 計算基底 / 閾値定理 / 量子オラクルTuring機械 / 量子コンピュータ / 完全正写像 / 量子回路族 / 量子計算量 / 量子情報 / quantum computing / quantum Turing machines / quantum circuits / quantum complexity theory / quantum gates / quantum operation / fault-tolerant quantum computing / controlled NOT gate / 可算モデル / ペアノの公理 / 一階論理式 / 定義可能性 / 数論 / 形式群 / ゼータ関数 / ベルヌーイ数 / distribution relation / Number Theory / Formal Group / Zeta Function / Bernoulli Numbers / Distribution Relation / convex-concave procedure / LDPC / decoding algorithm / Baysean Network / Combinatorial designs / Convex-concave procedure / 幾何学 / 代数学 / 実代数幾何学 / モデル理論 / 半代数的集合 / 順序極小構造 / 定義可能集合 / geometry / mathematical logic / algebra
Less
Research Projects
(
21
results)
Co-Researchers
(
49
People)
Project Start Year (Newest)
Project Start Year (Oldest)
Research of real algebraic geometry by model theory
Principal Investigator
SHIOTA Masahiro
Project Period (FY)
2005 – 2006
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
Geometry
Research Institution
Nagoya University
Efficient algorithms of pooling experiments for gene analysis by utilizing group testing and Bayesian network
Principal Investigator
JIMBO Masakazu
Project Period (FY)
2003 – 2005
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
Keio University
research on number theoretic concepts attached formal group
Principal Investigator
SATOH Junya
Project Period (FY)
2001 – 2002
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
Algebra
Research Institution
NAGOYA UNIVERSITY
MATHEMATICAL LOGIC AND ITS APPLICATION TO COMPUTATIONAL COMPLEXITY
Principal Investigator
Principal Investigator
YASUMOTO Masahiro
Project Period (FY)
2000 – 2002
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
UNIVERSITY OF NAGOYA
Mathematical Research on Mathematical Models of Quantum Computing
Principal Investigator
OZAWA Masanao
Project Period (FY)
1999 – 2001
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Tohoku University
Nagoya University
Study of theories with finitely many countable models.
Principal Investigator
TSUBOI Akito
Project Period (FY)
1999 – 2000
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
University of Tsukuba.
量子チューリング機械の停止問題に関する研究
Principal Investigator
小澤 正直
Project Period (FY)
1998 – 1999
Research Category
Grant-in-Aid for Exploratory Research
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
限定算術と多項式時間計算量
Principal Investigator
Principal Investigator
安本 雅洋
Project Period (FY)
1997 – 1999
Research Category
Grant-in-Aid for Exploratory Research
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
Studies on logical structures of arithmetic and computation
Principal Investigator
TANAKA Kazuyuki
Project Period (FY)
1997 – 1999
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
TOHOKU UNIVERSITY
applicatin of the recursive function theory to problems of computational quantity
Principal Investigator
SATOH Junya
,
篠田 壽一
Project Period (FY)
1997 – 1998
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
Theory of Differential Forms and Twistor Structures
Principal Investigator
SATO Hajime
Project Period (FY)
1996 – 1997
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
Geometry
Research Institution
Nagoya University
Unitary Representations of Hyperfinite Heisenberg Groups and Their Applications to Quantum Physics
Principal Investigator
OZAWA Masanao
Project Period (FY)
1996 – 1998
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
イデアルの巨大基数公理的性質の研究
Principal Investigator
松原 洋
Project Period (FY)
1995
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
帰納的関数論の計算量問題への応用
Principal Investigator
篠田 壽一
Project Period (FY)
1995
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
巨大基数公理としてのイデアルの研究
Principal Investigator
松原 洋
Project Period (FY)
1994
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
無限小解析学の数理物理学への応用
Principal Investigator
小澤 正直
Project Period (FY)
1994
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
Comprehensive Study of Recursive Function Theory
Principal Investigator
SHINODA Juichi
Project Period (FY)
1994 – 1995
Research Category
Grant-in-Aid for Co-operative Research (A)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
モデル理論とその不定方程式論への応用
Principal Investigator
Principal Investigator
安本 雅洋
Project Period (FY)
1992
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
幾何構造,数理物理とトポロジ-
Principal Investigator
SATO Hajime
Project Period (FY)
1990
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
代数学・幾何学
Research Institution
Nagoya University
高階の帰納的関数の研究
Principal Investigator
SHINODA Juichi
Project Period (FY)
1989
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
高階の帰納的関数の研究
Principal Investigator
篠田 寿一
Project Period (FY)
1986
Research Category
Grant-in-Aid for General Scientific Research (C)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Nagoya University
# of Projects (Dsc)
# of Projects (Asc)
1.
SHINODA Juichi
(30022685)
# of Collaborated Projects:
13 results
# of Collaborated Products:
0 results
2.
OZAWA Masanao
(40126313)
# of Collaborated Projects:
13 results
# of Collaborated Products:
0 results
3.
MATSUBARA Yo
(30242788)
# of Collaborated Projects:
9 results
# of Collaborated Products:
0 results
4.
IHARA Shunsuke
(00023200)
# of Collaborated Projects:
6 results
# of Collaborated Products:
0 results
5.
TSUKAJI Tasuie
(70291961)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
6.
三宅 克哉
(20023632)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
7.
横井 英夫
(50023560)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
8.
MORIMOTO Hiroshi
(20115645)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
9.
SHIOTA Masahiro
(00027385)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
10.
SATO Hajime
(30011612)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
11.
EJIRI Norio
(80145656)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
12.
TANAKA Kazuyuki
(70188291)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
13.
SATOH Junya
(20235352)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
14.
YOSHINOBU Yasuo
(90281063)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
15.
KAKUDA Yuzuru
(50031365)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
16.
YAMATO Kazuo
(30022677)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
17.
TSUCHIYA Akihito
(90022673)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
18.
KASHIMA Ryo
(10240756)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
19.
HORAI Masako
(00015588)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
20.
AKAMA Yohji
(30272454)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
21.
HASEGAWA Ryu
(20243107)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
22.
TATSUTA Makoto
(80216994)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
23.
MITSUI Taketomo
(50027380)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
24.
MATSUMOTO Hiroyuki
(00190538)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
25.
TSUBOI Akito
(30180045)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
26.
NISHIMURA Hirokazu
(70135614)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
27.
SHIOYA Masahiro
(30251028)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
28.
MOTOHASHI Nobuyoshi
(70015874)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
29.
TSUKADA Nabutaka
(50015559)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
30.
EDA Katsuya
(90015826)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
31.
MATSUMOTO Kohji
(60192754)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
32.
JIMBO Masakazu
(50103049)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
33.
SHIMIZU Kunio
(60110946)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
34.
OTA Katsuhiro
(40213722)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
35.
KURIKI Shinji
(00167389)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
36.
MISHIMA Miwako
(00283284)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
37.
KOIKE Satoshi
(60161832)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
38.
FUKUI Toshizumi
(90218892)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
39.
松本 幾久二
(90023522)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
40.
村井 隆文
(00109266)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
41.
長井 英生
(70110848)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
42.
柘植 利之
(70023520)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
43.
向井 茂
(80115641)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
44.
伊藤 正之
(60022638)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
45.
廣川 佐千男
(40126785)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
46.
菊池 誠
(60273801)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
47.
鍛島 康裕
(70240801)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
48.
柴田 里程
(60089828)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
49.
古田 泰之
# 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の連携を行いますか？
※ この処理は、研究者本人だけが実行できます。
×
×
