メニュー
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 (Current)
2019: 名古屋大学, 情報学研究科, 教授
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
/
General mathematics (including Probability theory/Statistical mathematics)
/
Geometry
/
代数学・幾何学
/
Algebra
Keywords
Principal Investigator
超準モデル / 多項式時間計算量 / 限定算術 / ブール値モデル / computational complexity / bounded arithmetic / モデル理論 / 超準解析 / nonstandard models / 多項式時間計算可能 / 不定方程式
…
More
Except Principal Investigator
…
More
計算量 / 量子力学 / 公理的集合論 / 帰納的関数 / 巨大基数 / pooling experiment / stability / ブール値モデル / nonstandard analysis / 量子測定 / consecutive positives / 位相作用素 / combinatorial designs / 数学基礎論 / ユニタリ表現 / Bayesian Network / 超準解析学 / 量子回路 / positive detecting / 量子チューリング機械 / recursive function / 超準解析 / Schrodinger表現 / DNA library screening / 量子計算 / 量子アルゴリズム / LDPC code / model / structure / 強制法 / lambda calculus / 3階の常微分方程式 / 極小次数 / Zeta Function / ツイスター / Combinatorial designs / reverse mathematics / Z_1飽和的超準宇宙 / ロジック / モデル理論 / 超有限 / quantum gates / ブール超巾 / fault-tolerant quantum computing / ツイスター構造 / 計算基底 / differential form / 超有限行列環 / distribution relation / 算術のモデル / 量子Turing機械 / quantum computing / 定義可能集合 / axiomatic set theory / Naimark拡大 / Heisenberg groups / 形式算術 / 決定性公理 / polynomial-time / 多項式時間計算可能性 / 一階論理式 / hyperfinite / 確率過程 / computational complexity / quantum complexity theory / 半代数的集合 / Kleene次数 / 超準殻 / ペアノの公理 / Boolean-valed model / 量子論理素子 / 万能量子論理素子 / 実代数幾何学 / quantum optics / 数論 / controlled NOT gate / 2階算術 / canonical commutation relatins / Lie接触構造 / ブール代数値解析学 / グラスマン構造 / phase operators / 幾何学 / 超有限Heisenberg群 / 【Δ(^1-2)】 / 正準交換関係 / Convex-concave procedure / シュレジンガ-作用系 / 計算論 / twistor / LDPC / computational quantity / ノンスタンダードモデル / β-モデル / 制御否定素子 / 作用素測度 / 微分形式 / Grassman structure / quantum Turing machines / geometry / 包合系 / type theory / 連続体仮説 / 定義可能性 / 構成可能性公理 / 停止問題 / 有限の型の対象 / ベルヌーイ数 / 実2次体 / mathematical logic / 完全正写像 / quantizations / 量子化 / 量子誤り訂正理論 / Distribution Relation / ゼータ関数 / 論理構造 / quantum circuits / unitary representations / 閾値定理 / involutive system / 量子コンピュータ / ブール値解析学 / 【C^ω】Nash多様体 / Heisenberg群 / Formal Group / Heisenberg(ハイゼンベルク)群 / 量子情報 / 可算モデル / 代数学 / Number Theory / 帰納的関数論 / 順序極小構造 / theory of computation / 証明論 / decoding algorithm / 逆数学 / 量子ゲート / 量子オラクルTuring機械 / 極小曲面 / Bernoulli Numbers / 形式群 / second order arithmetic / quantum operation / 量子計算量理論 / 最大羃零拡大 / 加法的保存量 / convex-concave procedure / 型理論 / 制御否定ゲート / algebra / 誤り訂正理論 / formal arithmetic / logical structures / Baysean Network / ラムダ計算 / bounded arithmetic / 限定算術 / third order ODE / 量子計算量 / 量子回路族 / Hilberk■間 / 量子光学
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?
×
