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

安本 雅洋  YASUMOTO Masahiro

ORCIDORCID連携する *注記
研究者番号 10144114
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2006年度: 名古屋大学, 大学院情報科学研究科, 教授
2004年度 – 2005年度: 名古屋大学, 大学院・情報科学研究科, 教授
1999年度 – 2002年度: 名古屋大学, 大学院・人間情報学研究科, 教授
1995年度 – 1998年度: 名古屋大学, 大学院・多元数理科学研究科, 助教授
1997年度: 名古屋大学, 大学院多元数理科学研究科, 助教授 … もっと見る
1995年度: 名古屋大学, 多元数理科学研究科, 助教授
1994年度: 名古屋大学, 理学部, 助教授
1992年度: 名古屋大学, 教養部, 助教授
1990年度: 名古屋大学, 教養部, 助教授
1989年度: 名古屋大学, 教養部, 講師
1986年度: 名古屋大学, 理学部, 助手 隠す
審査区分/研究分野
研究代表者
数学一般
研究代表者以外
数学一般 / 幾何学 / 数学一般(含確率論・統計数学) / 代数学 / 幾何学 / 代数学・幾何学
キーワード
研究代表者
超準モデル / ブール値モデル / 多項式時間計算量 / 限定算術 / nonstandard models / computational complexity / bounded arithmetic / 多項式時間計算可能 / 超準解析 / 不定方程式 / モデル理論 … もっと見る
研究代表者以外
… もっと見る 計算量 / 量子力学 / 帰納的関数 / 巨大基数 / 公理的集合論 / consecutive positives / combinatorial designs / positive detecting / LDPC code / Bayesian Network / pooling experiment / DNA library screening / stability / structure / model / 数学基礎論 / nonstandard analysis / recursive function / 量子測定 / 量子アルゴリズム / 量子回路 / 量子チューリング機械 / 量子計算 / ブール値モデル / 超準解析 / 位相作用素 / Schrodinger表現 / ユニタリ表現 / 超準解析学 / 強制法 / algebra / mathematical logic / geometry / 定義可能集合 / 順序極小構造 / 半代数的集合 / モデル理論 / 実代数幾何学 / 代数学 / 幾何学 / Convex-concave procedure / Combinatorial designs / Baysean Network / decoding algorithm / LDPC / convex-concave procedure / Distribution Relation / Bernoulli Numbers / Zeta Function / Formal Group / Number Theory / distribution relation / ベルヌーイ数 / ゼータ関数 / 形式群 / 数論 / 定義可能性 / 一階論理式 / ペアノの公理 / 可算モデル / controlled NOT gate / fault-tolerant quantum computing / quantum operation / quantum gates / quantum complexity theory / quantum circuits / quantum Turing machines / quantum computing / 量子情報 / 量子計算量 / 量子回路族 / 完全正写像 / 量子コンピュータ / 量子オラクルTuring機械 / 閾値定理 / 計算基底 / 制御否定素子 / 万能量子論理素子 / 誤り訂正理論 / 加法的保存量 / 制御否定ゲート / 量子誤り訂正理論 / 量子論理素子 / 量子ゲート / 量子計算量理論 / 量子Turing機械 / polynomial-time / computational quantity / 多項式時間計算可能性 / lambda calculus / bounded arithmetic / reverse mathematics / second order arithmetic / formal arithmetic / type theory / theory of computation / logical structures / 算術のモデル / 証明論 / ロジック / ラムダ計算 / 限定算術 / 逆数学 / 2階算術 / 形式算術 / 型理論 / 計算論 / 論理構造 / quantizations / phase operators / hyperfinite / unitary representations / canonical commutation relatins / Heisenberg groups / quantum optics / Hilberk■間 / Naimark拡大 / 作用素測度 / 超準殻 / Z_1飽和的超準宇宙 / Heisenberg群 / 量子化 / 超有限 / 正準交換関係 / Heisenberg(ハイゼンベルク)群 / 量子光学 / Grassman structure / third order ODE / twistor / involutive system / differential form / ツイスター構造 / グラスマン構造 / 3階の常微分方程式 / ツイスター / 包合系 / 微分形式 / axiomatic set theory / Boolean-valed model / computational complexity / 【C^ω】Nash多様体 / ノンスタンダードモデル / ブール値解析学 / 有限の型の対象 / β-モデル / 【Δ(^1-2)】 / 帰納的関数論 / 停止問題 / 確率過程 / ブール超巾 / 超有限行列環 / 超有限Heisenberg群 / ブール代数値解析学 / 最大羃零拡大 / 実2次体 / Lie接触構造 / 極小曲面 / シュレジンガ-作用系 / 構成可能性公理 / 極小次数 / 決定性公理 / 連続体仮説 / Kleene次数 隠す
  • 研究課題

    (21件)
  • 共同研究者

    (49人)
  •  実代数幾何学のモデル理論的研究

    • 研究代表者
      塩田 昌弘
    • 研究期間 (年度)
      2005 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      幾何学
    • 研究機関
      名古屋大学
  •  グループテストとベイジアンネットワークによる効率的ゲノム解析アルゴリズムの研究

    • 研究代表者
      神保 雅一
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
      慶應義塾大学
  •  形式群に付随する数論的概念に関する研究

    • 研究代表者
      佐藤 潤也
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      代数学
    • 研究機関
      名古屋大学
  •  超準モデルとその計算量理論への応用研究代表者

    • 研究代表者
      安本 雅洋
    • 研究期間 (年度)
      2000 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  量子計算の数理モデルに関する情報数理解析学的研究

    • 研究代表者
      小澤 正直
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東北大学
      名古屋大学
  •  可算モデルの個数が有限となる理論の研究

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  量子チューリング機械の停止問題に関する研究

    • 研究代表者
      小澤 正直
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      萌芽的研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  限定算術と多項式時間計算量研究代表者

    • 研究代表者
      安本 雅洋
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      萌芽的研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  算術と計算の論理構造に関する研究

    • 研究代表者
      田中 一之
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東北大学
  •  帰納的関数論の計算量問題への応用

    • 研究代表者
      佐藤 潤也, 篠田 壽一
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  微分形式の理論とツイスター構造

    • 研究代表者
      佐藤 肇
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      幾何学
    • 研究機関
      名古屋大学
  •  超有限ハイゼンベルク群のユニタリ表現と量子物理学への応用

    • 研究代表者
      小澤 正直
    • 研究期間 (年度)
      1996 – 1998
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  イデアルの巨大基数公理的性質の研究

    • 研究代表者
      松原 洋
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  帰納的関数論の計算量問題への応用

    • 研究代表者
      篠田 壽一
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  巨大基数公理としてのイデアルの研究

    • 研究代表者
      松原 洋
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  無限小解析学の数理物理学への応用

    • 研究代表者
      小澤 正直
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  帰納的関数論の総合的研究

    • 研究代表者
      篠田 壽一
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      名古屋大学
  •  モデル理論とその不定方程式論への応用研究代表者

    • 研究代表者
      安本 雅洋
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      名古屋大学
  •  幾何構造,数理物理とトポロジ-

    • 研究代表者
      佐藤 肇
    • 研究期間 (年度)
      1990
    • 研究種目
      一般研究(C)
    • 研究分野
      代数学・幾何学
    • 研究機関
      名古屋大学
  •  高階の帰納的関数の研究

    • 研究代表者
      篠田 寿一
    • 研究期間 (年度)
      1989
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      名古屋大学
  •  高階の帰納的関数の研究

    • 研究代表者
      篠田 寿一
    • 研究期間 (年度)
      1986
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      名古屋大学
  • 1.  篠田 寿一 (30022685)
    共同の研究課題数: 13件
    共同の研究成果数: 0件
  • 2.  小澤 正直 (40126313)
    共同の研究課題数: 13件
    共同の研究成果数: 0件
  • 3.  松原 洋 (30242788)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 4.  井原 俊輔 (00023200)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 5.  築地 立家 (70291961)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 6.  三宅 克哉 (20023632)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 7.  横井 英夫 (50023560)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 8.  森本 宏 (20115645)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  塩田 昌弘 (00027385)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 10.  佐藤 肇 (30011612)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  江尻 典雄 (80145656)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  田中 一之 (70188291)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  佐藤 潤也 (20235352)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  吉信 康夫 (90281063)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  角田 譲 (50031365)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  大和 一夫 (30022677)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  土屋 昭博 (90022673)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  鹿島 亮 (10240756)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  寳来 正子 (00015588)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  赤間 陽二 (30272454)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  長谷川 立 (20243107)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  龍田 眞 (80216994)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  三井 斌友 (50027380)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  松本 裕行 (00190538)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  坪井 明人 (30180045)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  西村 泰一 (70135614)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  塩谷 真弘 (30251028)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  本橋 信義 (70015874)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  塚田 信高 (50015559)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  江田 勝哉 (90015826)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  松本 耕二 (60192754)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  神保 雅一 (50103049)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  清水 邦夫 (60110946)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  太田 克弘 (40213722)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  栗木 進二 (00167389)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  三嶋 美和子 (00283284)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  小池 敏司 (60161832)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  福井 敏純 (90218892)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  松本 幾久二 (90023522)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  村井 隆文 (00109266)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  長井 英生 (70110848)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  柘植 利之 (70023520)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  向井 茂 (80115641)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  伊藤 正之 (60022638)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  廣川 佐千男 (40126785)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 46.  菊池 誠 (60273801)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 47.  鍛島 康裕 (70240801)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 48.  柴田 里程 (60089828)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 49.  古田 泰之
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

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

Powered by NII kakenhi