桜井貴文 SAKURAI Takafumi

… 別表記

櫻井貴文 SAKURAI Takafumi

研究者番号	60183373
その他のID
所属 (過去の研究課題情報に基づく) *注記	2017年度 – 2023年度: 千葉大学, 大学院理学研究院, 教授 2011年度 – 2016年度: 千葉大学, 理学(系)研究科(研究院), 教授 2014年度: 千葉大学, 理学研究科, 教授 1998年度 – 2006年度: 千葉大学, 理学部, 助教授 1995年度 – 1996年度: 千葉大学, 理学部, 助教授 1986年度: 東京都立大学, 理学部数学科, 助手
審査区分/研究分野	研究代表者計算機科学 / 情報学基礎理論 / 情報学基礎研究代表者以外理工系 / ソフトウェア / 数学一般(含確率論・統計数学) / 情報学 / 基礎解析学 / 数学一般(含確率論・統計数学) / 統計科学 / 図書館情報学・人文社会情報学 / 代数学 / 幾何学
キーワード	研究代表者文法的性質 / 直観主義論理 / 古典論理 / 検証 / 数理論理学 / minlog / 証明検証系 / α同値 / ラムダ計算 / α-conversion … もっと見る / 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変換 / 簡約保存 … もっと見る研究代表者以外型理論 / 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 / 変数参照 / 表現の理論 / 合成規則 / 明示的代入 / 導出 / 判断 / α同値性 / 具体化操作 / 抽象操作 / 表現理論 / 有限群 / 格子 / 自己同型群 / 有限体 / 量子符号 / 符号 / 強正規化性 / 合流性 / 環境 / 変数束縛 / ダ-ウィンのとうもろこしデータ / 層別無作為標本 / 単純無作為標本 / 尺度変換 / 位置変換 / 混合ブートストラップ法 / 低次元多様体隠す

古典論理に基づく計算系とその性質の検証研究代表者
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  2017 – 2023
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  千葉大学
クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  京都大学
クラス理論に基づく自己拡張可能なソフトウェア検証体系の構築
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  京都大学
古典論理計算系から直観主義論理計算系への翻訳研究代表者
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  2012 – 2015
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  情報学基礎
- 研究機関
  千葉大学
実名開示型多世代ＳＮＳにおけるコミュニティ活性化要件と世代間特性の解析
- 研究代表者
  
  檜垣泰彦
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  図書館情報学・人文社会情報学
- 研究機関
  千葉大学
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
- 研究代表者
  
  五十嵐淳
- 研究期間 (年度)
  2006
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
非局所微分方程式と演算子法の代数解析的研究
- 研究代表者
  
  石村隆一
- 研究期間 (年度)
  2005 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  基礎解析学
- 研究機関
  千葉大学
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
チャーチのラムダ計算のBCK論理による再生
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  2003 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  2002
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
誤り訂正量子符号の有限群論的アプローチ
- 研究代表者
  
  北詰正顕
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  萌芽研究
- 研究分野
  
  代数学
- 研究機関
  千葉大学
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  2001
- 研究種目
  
  特定領域研究(C)
- 審査区分
  
  理工系
- 研究機関
  京都大学
論理体系の意味論と文法的性質の関係研究代表者
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  千葉大学
状態空間モデルに基づく縦断的データの解析へのブートストラップ法による接近
- 研究代表者
  
  田栗正章
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  統計科学
- 研究機関
  千葉大学
部分構造論理の研究
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
型理論の意味論と文法的性質の関係研究代表者
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  千葉大学
標本抽出方法を考慮したブートストラップ検定についての研究
- 研究代表者
  
  田栗正章
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
4次元における無限ハンドル構造の位相的変形
- 研究代表者
  
  久我健一
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  幾何学
- 研究機関
  千葉大学
関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成
- 研究代表者
  
  佐藤雅彦
- 研究期間 (年度)
  1985 – 1986
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報学
- 研究機関
  東北大学
   東京大学

すべて 2014 2013 2012

すべて雑誌論文学会発表

[雑誌論文] A Translation of Intersection and Union Types for the lambda-mu-Calculus2014
- 著者名/発表者名
  K. Kikuchi, T. Sakurai
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8858 ページ: 120-139
- 査読あり
- データソース
  KAKENHI-PROJECT-25280025
[雑誌論文] A Translation of Intersection and Union Types for the λμ-Calculus2014
- 著者名/発表者名
  K. Kikuchi, T. Sakurai
- 雑誌名
  
  Lecture Note in Computer Science (Proceedings of 12th Asian Symposium on Programming Languages and Systems)
  
  巻: LNCS 8858 ページ: 120-139
- DOI
  10.1007/978-3-319-12736-1_7
- ISBN
  9783319127354, 9783319127361
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24650002
[雑誌論文] Viewing λ-terms through Maps2013
- 著者名/発表者名
  M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
- 雑誌名
  
  Indagationes Mathematicae
  
  巻: 24 号: 4 ページ: 1073-1104
- DOI
  10.1016/j.indag.2013.08.003
- 査読あり
- データソース
  KAKENHI-PROJECT-24650002, KAKENHI-PROJECT-25280025
[雑誌論文] 千葉大学校友会SNS「Curio」の現状と今後の計画2012
- 著者名/発表者名
  檜垣泰彦，桜井貴文，虎岩雅明，遠藤啓介，大塚成男
- 雑誌名
  
  電子情報通信学会技術研究報告
  
  巻: Vol.111, No.470 ページ: 135-140
- NAID
  110009545948
- データソース
  KAKENHI-PROJECT-23500305
[学会発表] A Translation of Intersection and Union Types for the λμ-Calculus2014
- 著者名/発表者名
  K. Kikuchi, T. Sakurai
- 学会等名
  Fifth International Workshop on Classical Logic and Computation (CL&C'14)
- 発表場所
  Vienna, Austria
- 年月日
  2014-07-13
- データソース
  KAKENHI-PROJECT-24650002
[学会発表] Viewing λ-terms through Maps2013
- 著者名/発表者名
  M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
- 学会等名
  TYPES Meeting 2013
- 発表場所
  Toulouse, France
- データソース
  KAKENHI-PROJECT-24650002
[学会発表] 千葉大学校友会SNS「Curio」の現状と今後の計画2012
- 著者名/発表者名
  檜垣泰彦，桜井貴文，虎岩雅明，遠藤啓介，大塚成男
- 学会等名
  ライフインテリジェンスとオフィス情報システム研究会
- 発表場所
  名桜大学
- データソース
  KAKENHI-PROJECT-23500305

1. 佐藤雅彦 (20027387)

共同の研究課題数: 9件

共同の研究成果数: 2件
2. 古森雄一 (10022302)

共同の研究課題数: 5件

共同の研究成果数: 0件
3. 山本光晴 (00291295)

共同の研究課題数: 5件

共同の研究成果数: 0件
4. 亀山幸義 (10195000)

共同の研究課題数: 4件

共同の研究成果数: 0件
5. 辻尚史 (70016666)

共同の研究課題数: 3件

共同の研究成果数: 0件
6. 中澤巧爾 (80362581)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 五十嵐淳 (40323456)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 廣川佐千男 (40126785)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 種村秀紀 (40217162)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 田栗正章 (10009607)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 今野良彦 (00205577)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 藤田憲悦 (30228994)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 西崎真也 (90263615)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 渚勝 (50189172)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 菊池健太郎 (40396528)

共同の研究課題数: 2件

共同の研究成果数: 2件
16. 檜垣泰彦 (30173131)

共同の研究課題数: 1件

共同の研究成果数: 2件
17. 大塚成男 (20213770)

共同の研究課題数: 1件

共同の研究成果数: 2件
18. 小林直樹 (00262155)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 中神潤一 (30092076)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 橋本明浩 (60164779)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 宮埜壽夫 (90200196)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 金沢誠 (20261886)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 鹿島亮 (10240756)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 石村隆一 (10127970)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 日野義之 (70004405)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 岡田靖則 (60224028)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 青木貴史 (80159285)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 田島慎一 (70155076)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 戸瀬信之 (00183492)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 中原早生 (80115899)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 久我健一 (30186374)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 福田途宏 (70009364)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 竹内泉 (20264583)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 北詰正顕 (60204898)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 杉山健一 (90206441)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 野澤宗平 (20092083)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 宗政昭弘 (50219862)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 原田昌晃 (90292408)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 大坪紀之 (60332566)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 外山芳人 (00251968)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 中村吉邑 (90110270)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 腰越秀之 (70110294)

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 多田充 (20303331)

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 筒井亨 (00197732)

共同の研究課題数: 1件

共同の研究成果数: 0件

桜井 貴文 SAKURAI Takafumi

櫻井 貴文 SAKURAI Takafumi

研究課題

研究成果

共同研究者

古典論理に基づく計算系とその性質の検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

古典論理計算系から直観主義論理計算系への翻訳研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

論理体系の意味論と文法的性質の関係研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

桜井貴文 SAKURAI Takafumi

櫻井貴文 SAKURAI Takafumi