• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SAKURAI Takafumi  桜井 貴文

ORCIDConnect your ORCID iD *help
… 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 / オンライン審議 / オンライン名簿 / セグメント化 / 機能連携 / 同窓会活動 / SNS / 限定継続 / 明示的環境 / 線形時間時相論理 / 環境適応型ソフトウェア / Natural Framework / 変数参照 / 表現の理論 / 合成規則 / 明示的代入 / 導出 / 判断 / α同値性 / 具体化操作 / 抽象操作 / 表現理論 / 有限群 / 格子 / 自己同型群 / 有限体 / 量子符号 / 符号 / 強正規化性 / 合流性 / 環境 / 変数束縛 / ダ-ウィンのとうもろこしデータ / 層別無作為標本 / 単純無作為標本 / 尺度変換 / 位置変換 / 混合ブートストラップ法 / 低次元多様体 Less
  • Research Projects

    (20 results)
  • Research Products

    (7 results)
  • Co-Researchers

    (44 People)
  •  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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi