メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
Mizutani Tetsuya
水谷 哲也
Connect 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)
Project Start Year (Newest)
Project Start Year (Oldest)
Performance Information Analysis for Creating Performance Expression Model of Classical Piano Music
Principal Investigator
Ongoing
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 Semantics
Principal 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
# of Projects (Dsc)
# of Projects (Asc)
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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
×
×