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