坂井公 SAKAI Ko

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

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