SAKURAI Takafumi 桜井貴文

… Alternative Names

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

Less

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

Verification of Properties of Classical CalculiPrincipal Investigator
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  2017 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Chiba University
Deepening of a self-extendable software verification system based on class theory
- Principal Investigator
  
  Sato Masahiko
- 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 Pages: 120-139
- DOI
  10.1007/978-3-319-12736-1_7
- ISBN
  9783319127354, 9783319127361
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24650002
[Journal Article] Viewing λ-terms through Maps2013
- Author(s)
  M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
- Journal Title
  
  Indagationes Mathematicae
  
  Volume: 24 Issue: 4 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: 2 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 桜井 貴文

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

Research Projects

Research Products

Co-Researchers

Verification of Properties of Classical CalculiPrincipal 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

Project Period (FY)

SAKURAI Takafumi 桜井貴文

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