Machide Tomoya 町出智也

… Alternative Names

Tomoya Machide 町出智也

Less

Researcher Number	60614526
Other IDs
Affiliation (Current)	2025: 東京国際工科専門職大学, 工科学部, 講師
Affiliation (based on the past Project Information) *help	2025: 東京国際工科専門職大学, 工科学部, 講師 2023: 東京国際工科専門職大学, 情報工学科, 講師 2020 – 2022: 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related Except Principal Investigator Basic Section 09070:Educational technology-related
Keywords	Principal Investigator 行列の階数 / 充足可能性問題 / Alon-Tarsi多項式 / 彩色問題 / 充足可能性問題(SAT) / ガウスの消去法 / Boolean多項式 / 多重ゼータ値 Except Principal Investigator 集中度 / 脳波 / 機械学習 / 性格 / 個別教育

Practice and Evaluation of Personalized Education Based on Students' Personality - Using AI Models
- Principal Investigator
  
  上條浩一
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09070:Educational technology-related
- Research Institution
  International Professional University of Technology in Tokyo
Research on multiple zeta value and calculation technology by a formula of systems of Boolean polynomial equationsPrincipal Investigator
- Principal Investigator
  
  Tomoya Machide
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  International Professional University of Technology in Tokyo
  National Institute of Informatics

All 2023 2022 2021

All Journal Article Presentation

[Journal Article] ダブルシャッフル関係式から導かれるバイナリ行列2023
- Author(s)
  町出智也
- Journal Title
  
  数理解析研究所講究録 2238「多重ゼータ値の諸相」
  
  Volume: 2238
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03727
[Journal Article] COMPUTATIONS ABOUT FORMAL MULTIPLE ZETA SPACES DEFINED BY BINARY EXTENDED DOUBLE SHUFFLE RELATIONS2023
- Author(s)
  Machide Tomoya
- Journal Title
  
  Tsukuba Journal of Mathematics
  
  Volume: 47 Issue: 1 Pages: 83-111
- DOI
  10.21099/tkbjm/20234701083
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K03727
[Journal Article] Query Obfuscation by Semantic Decomposition2022
- Author(s)
  Danushka Bollegala, Tomoya Machide, Ken-ichi Kawarabayashi
- Journal Title
  
  Proceedings of the 13th Conference on Language Resources and Evaluation (LREC 2022)
  
  Volume: - Pages: 6200-6211
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03727
[Presentation] Boolean多項式の連立方程式の彩色問題への応用2023
- Author(s)
  町出智也
- Organizer
  日本数学会2023年度年会
- Data Source
  KAKENHI-PROJECT-20K03727
[Presentation] Boolean 多項式の連立方程式の彩色問題への応用2022
- Author(s)
  町出智也
- Organizer
  日本数学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20K03727
[Presentation] バイナリ拡張ダブルシャッフル関係式に関する形式的多重ゼータ空間の次元の計算2022
- Author(s)
  町出智也
- Organizer
  2022年度RIMS共同研究（公開型）多重ゼータ値の諸相
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03727
[Presentation] 矛盾探索を土台にしたガウスの前進消去法について2022
- Author(s)
  町出智也
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20K03727
[Presentation] Boolean 多項式の連立方程式によるリスト彩色問題の解法2021
- Author(s)
  町出智也
- Organizer
  2021年度応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-20K03727
[Presentation] ブール多項式の連立方程式に関する公式について(On a formula for systems of Boolean polynomial equations)2021
- Author(s)
  町出智也
- Organizer
  第２０回広島仙台整数論集会
- Data Source
  KAKENHI-PROJECT-20K03727

1. 上條浩一 (10881998)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 塩尻亜希 (00883357)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 神沼充伸 (10637234)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 門田裕次 (30881990)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Machide Tomoya 町出 智也

Tomoya Machide 町出 智也

Research Projects

Research Products

Co-Researchers

Practice and Evaluation of Personalized Education Based on Students' Personality - Using AI Models

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on multiple zeta value and calculation technology by a formula of systems of Boolean polynomial equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] ダブルシャッフル関係式から導かれるバイナリ行列2023

Author(s)

Journal Title

Data Source

[Journal Article] COMPUTATIONS ABOUT FORMAL MULTIPLE ZETA SPACES DEFINED BY BINARY EXTENDED DOUBLE SHUFFLE RELATIONS2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Query Obfuscation by Semantic Decomposition2022

Author(s)

Journal Title

Data Source

[Presentation] Boolean多項式の連立方程式の彩色問題への応用2023

Author(s)

Organizer

Data Source

[Presentation] Boolean 多項式の連立方程式の彩色問題への応用2022

Author(s)

Organizer

Data Source

[Presentation] バイナリ拡張ダブルシャッフル関係式に関する形式的多重ゼータ空間の次元の計算2022

Author(s)

Organizer

Data Source

[Presentation] 矛盾探索を土台にしたガウスの前進消去法について2022

Author(s)

Organizer

Data Source

[Presentation] Boolean 多項式の連立方程式によるリスト彩色問題の解法2021

Author(s)

Organizer

Data Source

[Presentation] ブール多項式の連立方程式に関する公式について(On a formula for systems of Boolean polynomial equations)2021

Author(s)

Organizer

Data Source

Machide Tomoya 町出智也

Tomoya Machide 町出智也