TANJO Tomoya 丹生智也

Researcher Number	40635067
Other IDs
Affiliation (based on the past Project Information) *help	2017: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), 大学共同利用機関等の部局等, 研究員 2016: 大学共同利用機関法人情報・システム研究機構(新領域融合研究センター及びライフサイエンス統合データベースセンター), 大学共同利用機関等の部局等, 研究員 2015: 大学共同利用機関法人情報・システム研究機構(新領域融合研究センター及びライフサイ, 大学共同利用機関等の部局等, 研究員 2014: 情報・システム研究機構, 新領域融合研究センター, 融合プロジェクト特任研究員
Review Section/Research Field	Except Principal Investigator Information security / Software
Keywords	Except Principal Investigator 位置情報プライバシー / Benders分割 / セル秘匿問題 / 統計開示制御 / 最適化 / 統計開示抑制 / 隠れマルコフモデル / 状態空間モデル / 匿名化 / アクセス制御 / 命題論理 / 充足可能性判定問題 / 制約プログラミング

Statistical access control based on a state-space model
- Principal Investigator
  
  Minami Kazuhiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Information security
- Research Institution
  The Institute of Statistical Mathematics
Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kobe University

All 2016 2013 2012

All Journal Article Presentation

[Journal Article] Resilient Community Clustering: A Graph Theoretical Approach2016
- Author(s)
  Kazuhiro Minami, Tomoya Tanjo, Nana Arizumi, Hiroshi Maruyama, Daisuke Murakami, Yoshiki Yamagata
- Journal Title
  
  Springer Urban Resilience -- A Transformative Approach
  
  Volume: 1 Pages: 115-133
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00195
[Journal Article] Electricity Self-Sufficient Community Clustering for Energy Resilience2016
- Author(s)
  Yoshiki Yamagata, Daisuke Murakamia, Kazuhiro Minami, Nana Arizumi, Sho Kuroda, Tomoya Tanjo, Hiroshi Maruyama
- Journal Title
  
  Energies
  
  Volume: 9 Pages: 543-543
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00195
[Journal Article] Graph Partitioning of power grids considering electricity sharing2016
- Author(s)
  Tomoya Tanjo, Kazuhiro Minami, and Hiroshi Maruyama
- Journal Title
  
  International Journal of Smart Grid and Clean Energy
  
  Volume: 5(2) Pages: 112-120
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00195
[Journal Article] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的なSAT符号化2013
- Author(s)
  丹生智也,田村直之,番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30(1) Pages: 211-230
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012
- Author(s)
  田村直之,丹生智也,番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29(4) Pages: 114-129
- NAID
  130004549288
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Azucar: A SAT-Based CSP Solver Using Compact Order Encoding2012
- Author(s)
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer
  
  Volume: 7317 Pages: 456-462
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Specific Language Copris for Constraint Programming in Scala2012
- Author(s)
  Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
- Organizer
  The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- Place of Presentation
  Universite d'Artois(France)
- Year and Date
  2012-11-23
- Data Source
  KAKENHI-PROJECT-24300007

1. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
2. BANBARA Mutsunori (80290774)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
3. SOH Takehide (00625121)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. INOUE Katsumi (10252321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. OKIMOTO Tenda (10632432)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. Minami Kazuhiro (10579410)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results

TANJO Tomoya 丹生 智也

Research Projects

Research Products

Co-Researchers

Statistical access control based on a state-space model

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Resilient Community Clustering: A Graph Theoretical Approach2016

Author(s)

Journal Title

Data Source

[Journal Article] Electricity Self-Sufficient Community Clustering for Energy Resilience2016

Author(s)

Journal Title

Data Source

[Journal Article] Graph Partitioning of power grids considering electricity sharing2016

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Azucar: A SAT-Based CSP Solver Using Compact Order Encoding2012

Author(s)

Journal Title

Data Source

[Presentation] Specific Language Copris for Constraint Programming in Scala2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

TANJO Tomoya 丹生智也