坂井公 SAKAI Ko

研究者番号	20241797
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2007年度 – 2009年度: 筑波大学, 大学院・数理物質科学研究科, 准教授 2006年度: 筑波大学, 大学院数理物質科学研究科, 助教授 2005年度: 筑波大学, 大学院・数理物質科学研究科, 助教授 1995年度 – 1999年度: 筑波大学, 数学系, 助教授
審査区分/研究分野	研究代表者計算機科学 / 知能情報学 / 知能情報学研究代表者以外大域解析学 / 幾何学 / 数学一般(含確率論・統計数学) / 計算機科学
キーワード	研究代表者証明検証 / 型理論 / 不偏ゲーム / 可換モノイド / 高階単一化 / インターフェース / 単一化 / 必勝戦略 / 逆形 / 高階型理論 … もっと見る研究代表者以外 SOFA / Tense Arithmetic / 非可換微分幾何学 / symmetric space / conductance of 1 link / 厚み付き曲面 / thickened surface / Jones polynomial / モデル / 独立 / 量子群 / 交代リンク / conductance / 大域的結び目理論 / リンクの交点数 / quantum group / 多変数多項式不変量 / 言語 / 差分方程式 / タイプ / 複素構造と表現論 / supporting genus of link / 調和解析学 / Jones 多項式 / 局所既約 / 安定性 / Envelope theory / 量子ベクトル束の特性類 / グレプナー基底 / 計算機 / bracket / インスタントン / q-アナログ / Daphne / ブラケット / global knot theory / 対称空間 / 代数幾何学 / リンクの conductance / 数学基礎論 / alternating link / 調和解析 / 数理物理学 / 排除定理 / マルチクラスター計算機システム / 独立性 / 巡回(コ)ホモロジー / Tait Conjecture / ユニタリー表現 / 数理物理学のモデル / computer system / タイプの排除 / 実時間システムの検証 / リンクの積、合成 / 量子群の表現論 / ファイバー束 / muti-variable Alexander polynomial / Music information processing / Tait conjecture / 交代的リンク / 熱核 / 一様列 / 連続濃度 / コニタリー表現論 / ゲージ理論 / 単純性 / 音楽情報処理 / 数式処理 / 量子多様体の非可換幾何 / ホモロジー代数学 / 多変数Alexander多項式 / 非可換幾何学 / 4次元球面 / エンヴェロープ理論 / Verification of realtime controlled systems 隠す

1階言語で定義された算術理論のモデルの研究とその応用
- 研究代表者
  
  坪井明人
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  筑波大学
逆形不偏ゲームの分類と戦略の研究研究代表者
- 研究代表者
  
  坂井公
- 研究期間 (年度)
  2005 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  筑波大学
厚み付き曲面における大城的結び目理論の研究
- 研究代表者
  
  金戸武司
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  幾何学
- 研究機関
  筑波大学
非コンパクト型量子群SUq(1,1)の既約ユニタリー表現論とその量子対称空間
- 研究代表者
  
  増田哲也
- 研究期間 (年度)
  1999 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  大域解析学
- 研究機関
  筑波大学
結合子項を用いた高階単一化アルゴリズム研究代表者
- 研究代表者
  
  坂井公
- 研究期間 (年度)
  1997
- 研究種目
  
  萌芽的研究
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
論理的プログラム及びその基礎数理
- 研究代表者
  
  五十嵐滋
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
自動定理証明におけるインターフェースの研究研究代表者
- 研究代表者
  
  坂井公
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
数学的思考を含む知的計算機環境の研究研究代表者
- 研究代表者
  
  坂井公
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  筑波大学

すべて 2008 2007 2006 2005

すべて雑誌論文学会発表

[雑誌論文] The spaces of compact convex sets and bounded closed sets In a Banach space2008
- 著者名/発表者名
  Katsuro SAKAI
- 雑誌名
  
  Houston Journal of Mathematics 34
  
  ページ: 289-300
- 査読あり
- データソース
  KAKENHI-PROJECT-17540062
[雑誌論文] The spaces of compact convex sets and bounded closed sets In a Banach space2008
- 著者名/発表者名
  Katsuro SAKAI
- 雑誌名
  
  Houston J. Math. 34
  
  ページ: 289-300
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540062
[雑誌論文] Hyperspaces of closed convex sets in Eudlidean spaces with the Fell topology2007
- 著者名/発表者名
  Katsuro SAKAI
- 雑誌名
  
  Bull. Polish Aca. Sci. Math. 55
  
  ページ: 139-143
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540062
[雑誌論文] Hyperspaces of closed convex sets in Euclidean spaces with the Fell topology2007
- 著者名/発表者名
  Katsuro SAKAI
- 雑誌名
  
  Bulletin of the Polish Academy of Sciences, Mathematics 55
  
  ページ: 139-143
- 査読あり
- データソース
  KAKENHI-PROJECT-17540062
[雑誌論文] The AR-property of space of closed convex sets in Edclidean spaces2006
- 著者名/発表者名
  Katsuro SAKAI
- 雑誌名
  
  Colloq. Math. 106
  
  ページ: 15-24
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540062
[学会発表] Hyperspaces of Euclidean space with Hausdorff metric2006
- 著者名/発表者名
  Katsuro SAKAI
- 学会等名
  General and Geometric Topology now and related problems
- 発表場所
  MRI of Kyoto Un.
- 年月日
  2006-10-19
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540062
[学会発表] Hyperspaces of finite sets in universal spaces for absolute Borel clases2005
- 著者名/発表者名
  Katsuro SAKAI
- 学会等名
  40th General Topology Symposium
- 発表場所
  University of Tsukuba
- 年月日
  2005-06-24
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540062

1. 塩谷真弘 (30251028)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. 坪井明人 (30180045)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 増田哲也 (70202314)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 塚田信高 (50015559)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 照井章 (80323260)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 池田一磨 (10383449)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 池田宏一郎 (60332029)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 桔梗宏孝 (80204824)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 五十嵐滋 (80027367)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 水谷哲也 (70209758)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 細野千春 (20108294)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 塩雅之 (60302395)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 富田康治 (80357574)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 平良和昭 (90016163)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 梶谷邦彦 (00026262)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 竹内光弘 (00015950)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 筧知之 (70231248)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 宮本雅彦 (30125356)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 金戸武司 (70107340)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 加藤久男 (70152733)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 酒井克郎 (50036084)

共同の研究課題数: 1件

共同の研究成果数: 7件
22. 川村一宏 (40204771)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 谷山公規 (10247207)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 横田佳之 (40240197)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 壇和日子 (40251029)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 西村泰一 (70135614)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 本橋信義 (70015874)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 杉浦成昭 (20033805)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 伊藤光弘 (40015912)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 木村達雄 (30022726)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 森田純 (20166416)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 佐々木建昭 (80087436)

共同の研究課題数: 1件

共同の研究成果数: 0件

坂井 公 SAKAI Ko

研究課題

研究成果

共同研究者

1階言語で定義された算術理論のモデルの研究とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

逆形不偏ゲームの分類と戦略の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

厚み付き曲面における大城的結び目理論の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非コンパクト型量子群SUq(1,1)の既約ユニタリー表現論とその量子対称空間

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

結合子項を用いた高階単一化アルゴリズム研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理的プログラム及びその基礎数理

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

自動定理証明におけるインターフェースの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数学的思考を含む知的計算機環境の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] The spaces of compact convex sets and bounded closed sets In a Banach space2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] The spaces of compact convex sets and bounded closed sets In a Banach space2008

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Hyperspaces of closed convex sets in Eudlidean spaces with the Fell topology2007

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Hyperspaces of closed convex sets in Euclidean spaces with the Fell topology2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] The AR-property of space of closed convex sets in Edclidean spaces2006

著者名/発表者名

雑誌名

説明

データソース

[学会発表] Hyperspaces of Euclidean space with Hausdorff metric2006

著者名/発表者名

学会等名

発表場所

年月日

坂井公 SAKAI Ko