Sakurai Takafumi 桜井貴文

… Alternative Names

SAKURAI Takafumi 桜井貴文

桜井貴文サクライタカフミ

Less

Researcher Number	60183373
Other IDs
Affiliation (Current)	2023: 千葉大学, 大学院理学研究院, 教授
Affiliation (based on the past Project Information) *help	2017 – 2021: 千葉大学, 大学院理学研究院, 教授 2011 – 2016: 千葉大学, 理学(系)研究科(研究院), 教授 2014: 千葉大学, 理学研究科, 教授 1998 – 2006: 千葉大学, 理学部, 助教授 1995 – 1996: 千葉大学, 理学部, 助教授 1986: Research Associate, Department of Mathematics, Faculty of Science, Tokyo Metropo, 理学部数学科, 助手
Review Section/Research Field	Principal Investigator 計算機科学 / Fundamental theory of informatics / Theory of informatics Except Principal Investigator Science and Engineering / General mathematics (including Probability theory/Statistical mathematics) / Software / Geometry / Algebra / Library and information science/Humanistic social informatics / Statistical science / General mathematics (including Probability theory/Statistical mathematics) / Basic analysis / Informatics
Keywords	Principal Investigator 古典論理 / 直観主義論理 / 文法的性質 / 簡約保存 / CPS変換 / 強正規化性 / C(G)PS変換 / intersection-union / intersection-product / 表示的意味 … More / 型理論 / 意味論 / モデル / カテゴリ理論 / 強制規化 / 部分構造論理 / 強正規化 / 部分構造理論 / Type Theory / Semantics / Model / Category Theory / Syntactic Property / Strong Normalization / Substructural Logic / 様相部分構造命題論理 / 直観主義的様相論理 / カット除去 / 明示的代入 / 文脈 / 代入操作 / 束縛変数 / α変換 / 正規化 / explicit environment / context / modal substructural logic / intuitionistic modal logic / cut elimination / explicit substitution / first-class context / substitution / α-conversion / ラムダ計算 / 証明検証系 / minlog / 数理論理学 / 検証 … More Except Principal Investigator 型理論 / ブートストラップ検定 / 文脈 / 対象言語 / メタ言語 / 文法的対象 / 超変数 / 変数の衝突 / ソフトウェアの安全性 / 仕様記述・検証 / 証明支援系 / 部分構造論理 / 古典論理 / 直観主義論理 / BCK論理 / ラムダ計算 / Classical Logic / Intuitionistic Logic / BCK Logic / Lambda Calculus / 低次元多様体 / 混合ブートストラップ法 / 位置変換 / 尺度変換 / 単純無作為標本 / 層別無作為標本 / ダ-ウィンのとうもろこしデータ / 変数束縛 / 環境 / 合流性 / 強正規化性 / 符号 / 量子符号 / 有限体 / 自己同型群 / 格子 / 有限群 / 表現理論 / 抽象操作 / 具体化操作 / α同値性 / 判断 / 導出 / 明示的代入 / 合成規則 / 表現の理論 / 変数参照 / Natural Framework / 環境適応型ソフトウェア / 線形時間時相論理 / 明示的環境 / 限定継続 / ＳＮＳ / 同窓会活動 / 機能連携 / セグメント化 / オンライン名簿 / オンライン審議 / SNS / ユーザネットワーク解析 / クラス理論 / 証明検証 / 人工衛星風速データ / 曲線の差の検定 / bootstrap検定 / moving block / ARモデル / 面積差統計量 / 検定のサイズ・検出力 / シミュレーション / 状態空間モデル / moving block bootstrap法 / 2種類の曲線の差の検定 / 検出力のシミュレーション / 人工衛星データ / longitudinal data / カルマンフィルター / ordered moving block bootstrap法 / AUC-統計量 / Wind velocity data by artificial satellite / Test of curve difference / Bootstrap test / Moving block / AR model / Area difference statistic / Size and power of tests / Simulation / Substructural Logic / Type Theory / チャーチ / Curry-Howard対応 / ラッセルの逆理 / 集合論 / 数理論理学 / P=NP問題 / 極小論理式 / Church / Curry-Howard isomorphism / Russel's Paradox / Illative Combinatory Logic / 層の超局所理論 / 擬微分方程式 / 無限階微分方程式 / 演算子法 / 畳込み方程式 / 微分・差分方程式 / 偏微分方程式 / 代数解析学 / 非局所微分方程式 / 擬微分作用素 / Microlocal analysis of sheaves / Pseudo-differential equations / Infinite order differential equations / Operational calculus / Convolution equations / Differential-difference equations / Partial differential equations / Algebraic analysis / 構成的数学 / プログラムの形式的意味 / データ型 / プログラムの検証 / 関数型プログラム言語 / 論理型プログラム言語 / constructive mathematics / formal semantics of programs / data type / verification of programs / Functional programming language Less

古典論理に基づく計算系とその性質の検証Principal Investigator
- Principal Investigator
  
  桜井貴文
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Chiba University
クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Construction of a self-extendable software verification system based on class theory
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Translation from Classical to Intuitionistic LogicPrincipal Investigator
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Chiba University
An analysis of community activation requirements and generation characteristics of multi generation real-name base SNS
- Principal Investigator
  
  HIGAKI Yasuhiko
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Library and information science/Humanistic social informatics
- Research Institution
  Chiba University
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
- Principal Investigator
  
  五十嵐淳
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Algebraic study of non-local differential equations and operational calculus
- Principal Investigator
  
  ISHIMURA Ryuichi
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Basic analysis
- Research Institution
  Chiba University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Regeneration of Church's Lambda calculus on BCK logic
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
誤り訂正量子符号の有限群論的アプローチ
- Principal Investigator
  
  北詰正顕
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Algebra
- Research Institution
  Chiba University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Relation between Semantics of Logical System and its Syntactic PropertiesPrincipal Investigator
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  CHIBA UNIVERSITY
State-space model approach to longitudinal data analysis by bootstrap
- Principal Investigator
  
  TAGURI Masaaki
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  Statistical science
- Research Institution
  Chiba University
A Study of Substractural Logics
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
Relation between Semantics of Type Theory and its Syntactic PropertiesPrincipal Investigator
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Chiba University
標本抽出方法を考慮したブートストラップ検定についての研究
- Principal Investigator
  
  TAGURI Masaaki
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
4次元における無限ハンドル構造の位相的変形
- Principal Investigator
  
  久我健一
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Chiba University
Design of a functional logic programming language, and development of proof, vorification and synthosis system based on it.
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  TOHOKU UNIVERSITY
  The University of Tokyo

All 2014 2013 2012

All Journal Article Presentation

[Journal Article] A Translation of Intersection and Union Types for the lambda-mu-Calculus2014
- Author(s)
  K. Kikuchi, T. Sakurai
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8858 Pages: 120-139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] A Translation of Intersection and Union Types for the λμ-Calculus2014
- Author(s)
  K. Kikuchi, T. Sakurai
- Journal Title
  
  Lecture Note in Computer Science (Proceedings of 12th Asian Symposium on Programming Languages and Systems)
  
  Volume: LNCS 8858
- DOI
  10.1007/978-3-319-12736-1_7
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24650002
[Journal Article] Viewing lambda-terms through maps2013
- Author(s)
  M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
- Journal Title
  
  Indagationes Mathematicae
  
  Volume: 24 Pages: 1073-1104
- DOI
  10.1016/j.indag.2013.08.003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650002, KAKENHI-PROJECT-25280025
[Journal Article] 千葉大学校友会SNS「Curio」の現状と今後の計画2012
- Author(s)
  檜垣泰彦，桜井貴文，虎岩雅明，遠藤啓介，大塚成男
- Journal Title
  
  電子情報通信学会技術研究報告
  
  Volume: Vol.111, No.470 Pages: 135-140
- NAID
  110009545948
- Data Source
  KAKENHI-PROJECT-23500305
[Presentation] A Translation of Intersection and Union Types for the λμ-Calculus2014
- Author(s)
  K. Kikuchi, T. Sakurai
- Organizer
  Fifth International Workshop on Classical Logic and Computation (CL&C'14)
- Place of Presentation
  Vienna, Austria
- Year and Date
  2014-07-13
- Data Source
  KAKENHI-PROJECT-24650002
[Presentation] Viewing λ-terms through Maps2013
- Author(s)
  M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
- Organizer
  TYPES Meeting 2013
- Place of Presentation
  Toulouse, France
- Data Source
  KAKENHI-PROJECT-24650002
[Presentation] 千葉大学校友会SNS「Curio」の現状と今後の計画2012
- Author(s)
  檜垣泰彦，桜井貴文，虎岩雅明，遠藤啓介，大塚成男
- Organizer
  ライフインテリジェンスとオフィス情報システム研究会
- Place of Presentation
  名桜大学
- Data Source
  KAKENHI-PROJECT-23500305

1. Sato Masahiko (20027387)

# of Collaborated Projects: 9 results

# of Collaborated Products: 3 results
2. KOMORI Yuichi (10022302)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. 亀山幸義 (10195000)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
5. TSUJI Takashi (70016666)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. 中澤巧爾 (80362581)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. 五十嵐淳 (40323456)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. HIROKAWA Sachiko (40126785)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. TANEMURA Hideki (40217162)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. TAGURI Masaaki (10009607)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. KONNO Yoshihiko (00205577)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. FUJITA Ken-etsu (30228994)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. 西崎真也 (90263615)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. 渚勝 (50189172)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. 菊池健太郎 (40396528)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
16. HIGAKI Yasuhiko (30173131)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
17. OTSUKA Shigeo (20213770)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
18. KOBAYASHI Naoki (00262155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. NAKAGAMI Junichi (30092076)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. HASHIMOTO Akihiro (60164779)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. MIYANO Hisao (90200196)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. KANAZAWA Makoto (20261886)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. ISHIMURA Ryuichi (10127970)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. HINO Yoshiyuki (70004405)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. OKADA Yasunori (60224028)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. AOKI Takashi (80159285)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. TAJIMA Shin-ichi (70155076)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. TOSE Nobuyuki (00183492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. NAKAHARA Hayao (80115899)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 久我健一 (30186374)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 福田途宏 (70009364)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 竹内泉 (20264583)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 北詰正顕 (60204898)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 杉山健一 (90206441)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 野澤宗平 (20092083)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 宗政昭弘 (50219862)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 原田昌晃 (90292408)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 大坪紀之 (60332566)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 外山芳人 (00251968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 中村吉邑 (90110270)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 腰越秀之 (70110294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 多田充 (20303331)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. 筒井亨 (00197732)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Sakurai Takafumi 桜井 貴文

SAKURAI Takafumi 桜井 貴文

桜井 貴文 サクライ タカフミ

Research Projects

Research Products

Co-Researchers

古典論理に基づく計算系とその性質の検証Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Translation from Classical to Intuitionistic LogicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Relation between Semantics of Logical System and its Syntactic PropertiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Sakurai Takafumi 桜井貴文

SAKURAI Takafumi 桜井貴文

桜井貴文サクライタカフミ