SAKAI Ko 坂井公

Researcher Number	20241797
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2007 – 2009: University of Tsukuba, 大学院・数理物質科学研究科, 准教授 2006: 筑波大学, 大学院数理物質科学研究科, 助教授 2005: 筑波大学, 大学院・数理物質科学研究科, 助教授 1995 – 1999: 筑波大学, 数学系, 助教授
Review Section/Research Field	Principal Investigator 計算機科学 / Intelligent informatics / Intelligent informatics Except Principal Investigator Geometry / Global analysis / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 証明検証 / 可換2部モノイド / 必勝戦略 / 逆形ルール / 逆形商 / 可換モノイド / 種数 / 逆形 / 不偏ゲーム / 結合子 … More / 単一化 / 高階型理論 / 圏論 / インターフェース / 等式公理下での単一化 / 高階単一化 / 等式論理 / 型理論 … More Except Principal Investigator 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 / 音楽情報処理 / エンヴェロープ理論 / 実時間システムの検証 / 独立 / 排除定理 / タイプ / 言語 / 独立性 / 連続濃度 / 安定性 / 単純性 / 一様列 / モデル / タイプの排除 / 数学基礎論 Less

Study of first order model theory and its application
- Principal Investigator
  
  TSUBOI Akito
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  University of Tsukuba
A Study on Classification and Strategy of Misere Impartial GamesPrincipal Investigator
- Principal Investigator
  
  SAKAI Ko
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  University of Tsukuba
Research of global knot theory in thickened surfaces
- Principal Investigator
  
  KANETO Takeshi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  University of Tsukuba
Irreducible unitary representation of non compact quantum group SUq(1,1) and its quantum symmetric space
- Principal Investigator
  
  MASUDA Tetsuya
- Project Period (FY)
  1999 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Global analysis
- Research Institution
  University of Tsukuba
結合子項を用いた高階単一化アルゴリズムPrincipal Investigator
- Principal Investigator
  
  坂井公
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
LOGICAL PROGRAM AND ITS MATHEMATICAL FOUNDATION
- Principal Investigator
  
  IGARASHI Shigeru
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
自動定理証明におけるインターフェースの研究Principal Investigator
- Principal Investigator
  
  坂井公
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
数学的思考を含む知的計算機環境の研究Principal Investigator
- Principal Investigator
  
  坂井公
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  University of Tsukuba

All 2008 2007 2006 2005

All Journal Article Presentation

[Journal Article] The spaces of compact convex sets and bounded closed sets In a Banach space2008
- Author(s)
  Katsuro SAKAI
- Journal Title
  
  Houston Journal of Mathematics 34
  
  Pages: 289-300
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540062
[Journal Article] The spaces of compact convex sets and bounded closed sets In a Banach space2008
- Author(s)
  Katsuro SAKAI
- Journal Title
  
  Houston J. Math. 34
  
  Pages: 289-300
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540062
[Journal Article] Hyperspaces of closed convex sets in Eudlidean spaces with the Fell topology2007
- Author(s)
  Katsuro SAKAI
- Journal Title
  
  Bull. Polish Aca. Sci. Math. 55
  
  Pages: 139-143
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540062
[Journal Article] Hyperspaces of closed convex sets in Euclidean spaces with the Fell topology2007
- Author(s)
  Katsuro SAKAI
- Journal Title
  
  Bulletin of the Polish Academy of Sciences, Mathematics 55
  
  Pages: 139-143
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540062
[Journal Article] The AR-property of space of closed convex sets in Edclidean spaces2006
- Author(s)
  Katsuro SAKAI
- Journal Title
  
  Colloq. Math. 106
  
  Pages: 15-24
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540062
[Presentation] Hyperspaces of Euclidean space with Hausdorff metric2006
- Author(s)
  Katsuro SAKAI
- Organizer
  General and Geometric Topology now and related problems
- Place of Presentation
  MRI of Kyoto Un.
- Year and Date
  2006-10-19
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540062
[Presentation] Hyperspaces of finite sets in universal spaces for absolute Borel clases2005
- Author(s)
  Katsuro SAKAI
- Organizer
  40th General Topology Symposium
- Place of Presentation
  University of Tsukuba
- Year and Date
  2005-06-24
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540062

1. SHIOYA Masahiro (30251028)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. TSUBOI Akito (30180045)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. MASUDA Tetsuya (70202314)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 塚田信高 (50015559)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. TERUI Akira (80323260)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. IKEDA Kazuma (10383449)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. IKEDA Koichiro (60332029)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. KIKYO Hirotaka (80204824)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. IGARASHI Shigeru (80027367)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. MIZUTANI Tetsuya (70209758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HOSONO Chiharu (20108294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. SHIO Masayuki (60302395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. TOMITA Kohji (80357574)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. TAIRA Kazuaki (90016163)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. KAJITANI Kunihiko (00026262)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. TAKEUCHI Mitsuhiro (00015950)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. KAKEHI Tomiyuki (70231248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. MIYAMOTO Masahiko (30125356)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. KANETO Takeshi (70107340)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. KATO Hisao (70152733)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. SAKAI Katsuro (50036084)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
22. KAWAMURA Kazuhiro (40204771)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. TANIYAMA Kouki (10247207)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. YOKOTA Yoshiyuki (40240197)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 壇和日子 (40251029)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 西村泰一 (70135614)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 本橋信義 (70015874)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 杉浦成昭 (20033805)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 伊藤光弘 (40015912)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 木村達雄 (30022726)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 森田純 (20166416)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 佐々木建昭 (80087436)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SAKAI Ko 坂井 公

Research Projects

Research Products

Co-Researchers

Study of first order model theory and its application

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Classification and Strategy of Misere Impartial GamesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research of global knot theory in thickened surfaces

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Irreducible unitary representation of non compact quantum group SUq(1,1) and its quantum symmetric space

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

結合子項を用いた高階単一化アルゴリズムPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

LOGICAL PROGRAM AND ITS MATHEMATICAL FOUNDATION

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

数学的思考を含む知的計算機環境の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] The spaces of compact convex sets and bounded closed sets In a Banach space2008

Author(s)

Journal Title

Data Source

[Journal Article] The spaces of compact convex sets and bounded closed sets In a Banach space2008

Author(s)

Journal Title

Description

Data Source

[Journal Article] Hyperspaces of closed convex sets in Eudlidean spaces with the Fell topology2007

Author(s)

Journal Title

Description

Data Source

[Journal Article] Hyperspaces of closed convex sets in Euclidean spaces with the Fell topology2007

Author(s)

Journal Title

Data Source

[Journal Article] The AR-property of space of closed convex sets in Edclidean spaces2006

Author(s)

Journal Title

Description

Data Source

[Presentation] Hyperspaces of Euclidean space with Hausdorff metric2006

Author(s)

Organizer

Place of Presentation

Year and Date

SAKAI Ko 坂井公