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

Mizutani Tetsuya  水谷 哲也

ORCIDConnect your ORCID iD *help
… Alternative Names

水谷 哲也  ミズタニ テツヤ

MIZUTANI Tetsuya  水谷 哲也

Less
Researcher Number 70209758
Other IDs
External Links
Affiliation (Current) 2021: 筑波大学, システム情報系, 講師
Affiliation (based on the past Project Information) *help 2020: 筑波大学, システム情報系, 講師
2004 – 2005: 筑波大学, 大学院・システム情報工学研究科, 講師
2003: 筑波大学, 電子・情報工学系, 講師
1997 – 2000: 筑波大学, 電子・情報工学系, 講師
1998: 筑波大学,電子, 情報工学系, 講師 … More
1994: 筑波大学, 電子・情報工学系, 講師
1992 – 1993: Univ. of Tsukuba, Inst. of Inf. and Elec. Research Assistant, 電子・情報工学系, 助手
1990 – 1991: 埼玉短期大学, 情報処理学科, 助教授 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Basic Section 62040:Entertainment and game informatics-related
Except Principal Investigator
情報工学 / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Educational technology
Keywords
Principal Investigator
SOFA / Tense Arithmetic / 実時間システムの検証 / エンヴェロープ理論 / 音楽情報処理 / エンヴェローブ理論 / 定時間システムの検証 / tense Arithemetic / Verification of realtime controlled systems / Envelope theory … More / Music information processing / 演奏表情モデル / クラシック音楽 / 音楽情報学 / 人工知能 … More
Except Principal Investigator
NU / 音楽情報処理 / 人工知能 / music information processing / SOFA / Tense Arithmetic / Hyperlogo / レー転換 / 不完全情報ゲーム / 同値理論 / V-転換 / Uー転換 / 不完全情報ゲ-ム / 軌跡準同型 / nu-conversion / programming language NU / incomplete information game / equivalence theory / artificial intelligence / envelope system / PSYCHE / オブジェクト指向 / CMP / 解析的意味論 / ν-転換 / 時制算術 / プログラム検証 / logic / theory of programs / programming / graph theory / artificial inteligence / 実時間システムの検証 / エンヴェロープ理論 / Daphne / Verification of realtime controlled systems / Envelope theory / Music information processing / 聴覚障害学生 / プログラミング教育 / 情報提示 / 言語レベル / モデル化能力 / グラフィカル・インターフェース / タートル・グラフィックス / Hearing Impaired Student / Programming education / Information Offering / language level / modeling ability Less
  • Research Projects

    (6 results)
  • Co-Researchers

    (16 People)
  •  Performance Information Analysis for Creating Performance Expression Model of Classical Piano MusicPrincipal InvestigatorOngoing

    • Principal Investigator
      水谷 哲也
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 62040:Entertainment and game informatics-related
    • Research Institution
      University of Tsukuba
  •  Studies on Abstract Concept Acquisition in Programming Languages for Hearing Impaired

    • Principal Investigator
      YAMAMOTO Nobuhito
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Educational technology
    • Research Institution
      University of Tsukuba
  •  A Study on Program Verification Systems based on Analytic SemanticsPrincipal Investigator

    • Principal Investigator
      MIZUTANI Tetauya
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • 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
  •  Co-operative research on theoretical foundations of computer programs

    • Principal Investigator
      TSUJI Takashi
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chiba University
      University of Tsukuba
  •  Theory and implementation of predicate-logical programs

    • Principal Investigator
      IGARASHI Shigeru
    • Project Period (FY)
      1990 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      University of Tsukuba
  • 1.  HOSONO Chiharu (20108294)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 2.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 3.  TSUJI Takashi (70016666)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  SHIO Masayuki (60302395)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  TOMITA Kohji (80357574)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  OHKI Atsuo (20160434)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  NISHIMURA Hirokazu (70135614)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  HITOTUMATU Shin (10027378)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  NANBA Kanji (40015524)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  YONEDA Nobuo (50080487)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  SAKAI Ko (20241797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  IKEDA Yasuwo (10279599)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  YAMAMOTO Nobuhito (30111090)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  NISHIOKA Tomoyuki (70310191)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  徳村 朝昭
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi