丹生智也 TANJO Tomoya

研究者番号	40635067
その他のID
所属 (過去の研究課題情報に基づく) *注記	2017年度: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), 大学共同利用機関等の部局等, 研究員 2016年度: 大学共同利用機関法人情報・システム研究機構(新領域融合研究センター及びライフサイエンス統合データベースセンター), 大学共同利用機関等の部局等, 研究員 2015年度: 大学共同利用機関法人情報・システム研究機構(新領域融合研究センター及びライフサイ, 大学共同利用機関等の部局等, 研究員 2014年度: 情報・システム研究機構, 新領域融合研究センター, 融合プロジェクト特任研究員
審査区分/研究分野	研究代表者以外情報セキュリティ / ソフトウエア
キーワード	研究代表者以外位置情報プライバシー / Benders分割 / セル秘匿問題 / 統計開示制御 / 最適化 / 統計開示抑制 / 隠れマルコフモデル / 状態空間モデル / 匿名化 / アクセス制御 / 命題論理 / 充足可能性判定問題 / 制約プログラミング

状態空間モデルに基づく統計的アクセス制御手法の研究
- 研究代表者
  
  南和宏
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報セキュリティ
- 研究機関
  統計数理研究所
命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現
- 研究代表者
  
  田村直之
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  神戸大学

すべて 2016 2013 2012

すべて雑誌論文学会発表

[雑誌論文] Resilient Community Clustering: A Graph Theoretical Approach2016
- 著者名/発表者名
  Kazuhiro Minami, Tomoya Tanjo, Nana Arizumi, Hiroshi Maruyama, Daisuke Murakami, Yoshiki Yamagata
- 雑誌名
  
  Springer Urban Resilience -- A Transformative Approach
  
  巻: 1 ページ: 115-133
- オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00195
[雑誌論文] Electricity Self-Sufficient Community Clustering for Energy Resilience2016
- 著者名/発表者名
  Yoshiki Yamagata, Daisuke Murakamia, Kazuhiro Minami, Nana Arizumi, Sho Kuroda, Tomoya Tanjo, Hiroshi Maruyama
- 雑誌名
  
  Energies
  
  巻: 9 ページ: 543-543
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00195
[雑誌論文] Graph Partitioning of power grids considering electricity sharing2016
- 著者名/発表者名
  Tomoya Tanjo, Kazuhiro Minami, and Hiroshi Maruyama
- 雑誌名
  
  International Journal of Smart Grid and Clean Energy
  
  巻: 5(2) ページ: 112-120
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00195
[雑誌論文] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的なSAT符号化2013
- 著者名/発表者名
  丹生智也,田村直之,番原睦則
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 30(1) ページ: 211-230
- 査読あり
- データソース
  KAKENHI-PROJECT-24300007
[雑誌論文] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012
- 著者名/発表者名
  田村直之,丹生智也,番原睦則
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 29(4) ページ: 114-129
- NAID
  130004549288
- 査読あり
- データソース
  KAKENHI-PROJECT-24300007
[雑誌論文] Azucar: A SAT-Based CSP Solver Using Compact Order Encoding2012
- 著者名/発表者名
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- 雑誌名
  
  The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer
  
  巻: 7317 ページ: 456-462
- 査読あり
- データソース
  KAKENHI-PROJECT-24300007
[学会発表] Specific Language Copris for Constraint Programming in Scala2012
- 著者名/発表者名
  Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
- 学会等名
  The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- 発表場所
  Universite d'Artois(France)
- 年月日
  2012-11-23
- データソース
  KAKENHI-PROJECT-24300007

1. 田村直之 (60207248)

共同の研究課題数: 1件

共同の研究成果数: 4件
2. 番原睦則 (80290774)

共同の研究課題数: 1件

共同の研究成果数: 4件
3. 宋剛秀 (00625121)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 井上克巳 (10252321)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 鍋島英知 (10334848)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 沖本天太 (10632432)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 南和宏 (10579410)

共同の研究課題数: 1件

共同の研究成果数: 3件

丹生 智也 TANJO Tomoya

研究課題

研究成果

共同研究者

状態空間モデルに基づく統計的アクセス制御手法の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Resilient Community Clustering: A Graph Theoretical Approach2016

著者名/発表者名

雑誌名

データソース

[雑誌論文] Electricity Self-Sufficient Community Clustering for Energy Resilience2016

著者名/発表者名

雑誌名

データソース

[雑誌論文] Graph Partitioning of power grids considering electricity sharing2016

著者名/発表者名

雑誌名

データソース

[雑誌論文] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的なSAT符号化2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Azucar: A SAT-Based CSP Solver Using Compact Order Encoding2012

著者名/発表者名

雑誌名

データソース

[学会発表] Specific Language Copris for Constraint Programming in Scala2012

著者名/発表者名

学会等名

発表場所

年月日

データソース

丹生智也 TANJO Tomoya