メニュー
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)
2022: 筑波大学, システム情報系, 講師
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)
Research Products
(
1
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
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
All
2020
All
Presentation
[Presentation] A Data Cleansing System for Musical Expression Analysis
2020
Author(s)
Tetsuya Mizutani、Kei Hasegawa
Organizer
ICCCM'20: 2020 The 8th International Conference on Computer and Communications Management
Int'l Joint Research
Data Source
KAKENHI-PROJECT-20K12119
# 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.
この研究者とORCID iDの連携を行いますか？
※ この処理は、研究者本人だけが実行できます。
×
×
