坂井公 SAKAI Ko

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

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