町出智也 Machide Tomoya

研究者番号	60614526
その他のID
所属 (現在)	2025年度: 東京国際工科専門職大学, 工科学部, 講師
所属 (過去の研究課題情報に基づく) *注記	2025年度: 東京国際工科専門職大学, 工科学部, 講師 2023年度: 東京国際工科専門職大学, 情報工学科, 講師 2020年度 – 2022年度: 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員
審査区分/研究分野	研究代表者小区分12030:数学基礎関連研究代表者以外小区分09070:教育工学関連
キーワード	研究代表者行列の階数 / 充足可能性問題 / Alon-Tarsi多項式 / 彩色問題 / 充足可能性問題(SAT) / ガウスの消去法 / Boolean多項式 / 多重ゼータ値研究代表者以外集中度 / 脳波 / 機械学習 / 性格 / 個別教育

学生の特性に応じたパーソナライズ教育の実践と評価 - 人工知能モデルを使って
- 研究代表者
  
  上條浩一
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分09070:教育工学関連
- 研究機関
  東京国際工科専門職大学
Boolean多項式の連立方程式の公式による多重ゼータ値と計算機技術の融合研究研究代表者
- 研究代表者
  
  町出智也
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東京国際工科専門職大学
   国立情報学研究所

すべて 2023 2022 2021

すべて雑誌論文学会発表

[雑誌論文] ダブルシャッフル関係式から導かれるバイナリ行列2023
- 著者名/発表者名
  町出智也
- 雑誌名
  
  数理解析研究所講究録 2238「多重ゼータ値の諸相」
  
  巻: 2238
- オープンアクセス
- データソース
  KAKENHI-PROJECT-20K03727
[雑誌論文] COMPUTATIONS ABOUT FORMAL MULTIPLE ZETA SPACES DEFINED BY BINARY EXTENDED DOUBLE SHUFFLE RELATIONS2023
- 著者名/発表者名
  Machide Tomoya
- 雑誌名
  
  Tsukuba Journal of Mathematics
  
  巻: 47 号: 1 ページ: 83-111
- DOI
  10.21099/tkbjm/20234701083
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-20K03727
[雑誌論文] Query Obfuscation by Semantic Decomposition2022
- 著者名/発表者名
  Danushka Bollegala, Tomoya Machide, Ken-ichi Kawarabayashi
- 雑誌名
  
  Proceedings of the 13th Conference on Language Resources and Evaluation (LREC 2022)
  
  巻: - ページ: 6200-6211
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K03727
[学会発表] Boolean多項式の連立方程式の彩色問題への応用2023
- 著者名/発表者名
  町出智也
- 学会等名
  日本数学会2023年度年会
- データソース
  KAKENHI-PROJECT-20K03727
[学会発表] Boolean 多項式の連立方程式の彩色問題への応用2022
- 著者名/発表者名
  町出智也
- 学会等名
  日本数学会2022年度年会
- データソース
  KAKENHI-PROJECT-20K03727
[学会発表] バイナリ拡張ダブルシャッフル関係式に関する形式的多重ゼータ空間の次元の計算2022
- 著者名/発表者名
  町出智也
- 学会等名
  2022年度RIMS共同研究（公開型）多重ゼータ値の諸相
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K03727
[学会発表] 矛盾探索を土台にしたガウスの前進消去法について2022
- 著者名/発表者名
  町出智也
- 学会等名
  日本応用数理学会2022年度年会
- データソース
  KAKENHI-PROJECT-20K03727
[学会発表] Boolean 多項式の連立方程式によるリスト彩色問題の解法2021
- 著者名/発表者名
  町出智也
- 学会等名
  2021年度応用数学合同研究集会
- データソース
  KAKENHI-PROJECT-20K03727
[学会発表] ブール多項式の連立方程式に関する公式について(On a formula for systems of Boolean polynomial equations)2021
- 著者名/発表者名
  町出智也
- 学会等名
  第２０回広島仙台整数論集会
- データソース
  KAKENHI-PROJECT-20K03727

1. 上條浩一 (10881998)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 塩尻亜希 (00883357)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 神沼充伸 (10637234)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 門田裕次 (30881990)

共同の研究課題数: 1件

共同の研究成果数: 0件

町出 智也 Machide Tomoya

研究課題

研究成果

共同研究者

学生の特性に応じたパーソナライズ教育の実践と評価 - 人工知能モデルを使って

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Boolean多項式の連立方程式の公式による多重ゼータ値と計算機技術の融合研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

著者名/発表者名

雑誌名

データソース

[雑誌論文] COMPUTATIONS ABOUT FORMAL MULTIPLE ZETA SPACES DEFINED BY BINARY EXTENDED DOUBLE SHUFFLE RELATIONS2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Query Obfuscation by Semantic Decomposition2022

著者名/発表者名

雑誌名

データソース

[学会発表] Boolean多項式の連立方程式の彩色問題への応用2023

著者名/発表者名

学会等名

データソース

[学会発表] Boolean 多項式の連立方程式の彩色問題への応用2022

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

町出智也 Machide Tomoya