学術論文(査読付き)

論文名の下線部(リンク)は出版社等で公開されている論文本体または概要または目次へのリンク.出版社と購読契約を結んでいない組織内からのアクセスは限定されている場合があります.
は著者が作成した最終原稿PDFファイル.著作権の関係で,出版物掲載の最終イメージではありません.

Fine-tuning deep convolutional neural networks for distinguishing illustrations from photographs
Gota Gando, Taiga Yamada, Masahito Kurihara, Satoshi Oyama, Haruhiko Sato:
Expert Systems with Applications, Vol.66, Issue C, pp. 295-301 (2016)

属性ごとの観測確率を考慮したゼロショット学習
鈴木雅大,佐藤晴彦,小山聡,栗原正仁,松尾豊:
情報処理学会論文誌,Vol.57,No.5,pp. 1499-1513 (2016)

Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System
ChengCheng Ji, Haruhiko Sato, and Masahito Kurihara:
IAENG International Journal of Computer Science, vol. 42, no. 3, pp.282-287 (2015)

キーワードのあいまい一致を導入したキーワードプログラミングシステム
坂本悠輔,佐藤晴彦,小山聡,栗原正仁:
情報処理学会論文誌,Vol.56,No.3,pp.821-834 (2015)

Separate or joint? Estimation of multiple labels from crowdsourced annotations
Lei Duan, Satoshi Oyama, Haruhiko Sato, and Masahito Kurihara:
Expert Systems with Applications, Vol. 41, No. 13, pp. 5723
-5732 (2014)

Automated Test Generation for Object-Oriented Programs with Multiple Targets
Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
IAENG International Journal of Computer Science, Vol. 41, Issue 3, pp. 198-203 (2014)

Parallelization of Termination Checkers for Algebraic Software
Rui
Ding, Haruhiko Sato, and Masahito Kurihara:
SSE Transactions on Machine Learning and Artificial Intelligence, Vol. 2, No.4, pp.102
-114 (2014)

A Survey on Large Scale Corpora and Emotion Corpora
Michal Ptaszynski, Rafal Rzepka, Kenji Araki, Satoshi Oyama, Masahito Kurihara:
Computer Software, Vol. 31, No. 2, pp. 151
-167 (2014)

Multi-Completion with Termination Tools
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara:
Journal of Automated Reasoning, Vol.
50, No.3, pp. 317-354 (2013)

Landmark FN-DBSCAN: An Efficient Density-Based Clustering Algorithm with Fuzzy Neighborhood
Hao Liu, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato:
Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol.17, No.1, pp.60
-73 (2013)

Affect Analysis in Context of Characters in Narratives
Michal Ptaszynski, Hiroaki Dokoshi, Satoshi Oyama, Rafal Rzepka, Masahito Kurihara, Kenji Araki and Yoshio Momouchi:
Expert Systems With Applications, Vol. 40, Issue 1, pp. 168-176 (2013)

P2Pネットワークにおけるスキップグラフと接尾辞配列を用いた部分一致検索手法
坂野遼平,佐藤晴彦,小山聡,栗原正仁:
コンピュータソフトウェア(日本ソフトウェア科学会誌),Vol.29,No.3,pp.164-180(2012)

OverlayWeaverのALM機能拡張とP2P型コミュニケーションシステムUenewへの応用
坂野遼平,,佐藤晴彦,小山聡,栗原正仁:
コンピュータソフトウェア(日本ソフトウェア科学会誌),Vol.29,No.2,pp.123-139(2012)

Multi-Completion with Termination Tools
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, and Masahito Kurihara:
Journal of Automated Reasoning, Online版, pp.1-38(2012)

High-Speed Maximum Power Point Tracker for Photovoltaic Systems using Online Learning Neural Networks
Yasushi Kohata, Koichiro Yamauchi, and Masahito Kurihara:
Journal of Advanced Computational Intelligence & Intelligent Informatics, Vol.14, No.6, pp.677-682
2010

対立の妥協的解決に向けた弁証法的推論の形式化
木藤浩之,栗原正仁,片上大輔,新田克己:
人工知能学会論文誌,
Vol.25No.5Bpp.570-5782010

A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers
Takuto Yanagida, Masahito Kurihara, and Hidetoshi Nonaka:
Journal of Advanced Computational Intelligence & Intelligent Informatics, Vol.14, No.5, pp.425-430 (2010
)

Multi-context rewriting induction with termination checkers
Haruhiko Sato, Masahito Kurihara:
IEICE Transactions on Information and Systems (Special Section on Formal Approach), Vol.E93-D, No.5, pp.942-952 (2010
)

Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms
Masataka Mizusawa and Masahito Kurihara:
Journal of Heuristics, Vol. 16, No.1, pp.23-36(2010)

動的ファジィ制約充足における解の安定性維持
須藤康博,柳田拓人,栗原正仁,長谷山美紀:
知能と情報(日本知能情報ファジィ学会誌),
Vol.21No.3pp.82-902009

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
Haruhiko Sato and Masahito Kurihara:
IEICE Transactions on Information and Systems (Special Section on Foundation of Computer Science), Vol.E92-D, No.2, pp.220-234 (2009)

感性語の階層構造を利用した配色における個性の抽出と活用
小西秀吾,野中秀俊,栗原正仁:
知能と情報(日本知能情報ファジィ学会誌),Vol.20,No.1,pp.141-149(2008)

ランダム区間グラフによる1次元アドホックネットワークの連結性のモデル化とその閉じた解
能代 愛,栗原正仁:
情報処理学会論文誌:数理モデル化と応用,Vol.48, No.SIG 6 (TOM 17), pp.32-42(2007)

Sensing pressure for authentication system using keystroke dynamics
Hidetoshi Nonaka and Masahito Kurihara
:
International Journal of Computer, Information, Systems and Control Engineering, Vol.1, No.1, 141-144 (2007)

Anticipation of mouse pointer movement using pressure sensors
Hidetoshi Nonaka and Masahito Kurihara:
International Journal of Computing Anticipatory Systems
, Vol.17, pp.342-353(2006)

Extending fuzzy constraint satisfaction problems
Yasuhiro Sudo, Masahito Kurihara and Tamotsu Mitamura:

Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol.10,No.4,pp.465-471 (2006)

適応型合意形成モデルにおけるエージェントの特性分析
近江潤明,三田村 保,大堀隆文,栗原正仁:
知能と情報(日本知能情報ファジィ学会誌),
Vol.18No.3,pp.108-1172006

Supporting refactoring activities using histories of program modification
Shinpei Hayashi, Motoshi Saeki, and Masahito Kurihara:
IEICE Transactions on Information and Systems, Vol.E89-D, No.4, pp.1403-1412 2006

ステータス付き再帰的経路順序による項書換え系多重完備化手続き
佐藤晴彦,栗原正仁:
電子情報通信学会論文誌
(D),Vol.J89-DNo.4pp.624-6312006

障害物密度に応じた迷路探索問題の難易度指標と実時間探索アルゴリズムの性能解析
水澤雅高,栗原正仁:
人工知能学会論文誌,
Vol.21No.3pp.266-2752006

系統的/局所的探索の協調によるファジィ制約充足問題の近似解法
須藤康裕,
栗原正仁:

人工知能学会論文誌,
Vol.21No.1pp.20-272006

1次元空間における固定半径ランダムグラフの連結性の理論解析
能代 愛,吉川 毅,栗原正仁:
情報処理学会論文誌:数理モデル化と応用
Vol.46, No.SIG 10(TOM 12), 93-1022005

連続離散混合領域におけるファジィ制約充足問題とその反復改善型解法
須藤康裕,栗原正仁,三田村保:
知能と情報(日本知能情報ファジィ学会誌),Vol.17No.3367-3752005

多重パスメッセージ転送ネットワークの数理モデルと論理
沼澤政信,栗原正仁:
情報処理学会論文誌:数理モデル化と応用,vol.46, no.SIG 2(TOM 11), 39-462005

Anticipatory matching method for query-based head gesture identification
Hidetoshi Nonaka and Masahito Kurihara:

International Journal of Computing Anticipatory Systems, vol.15, 279-287
2004

優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き
横山壱星,栗原正仁:
人工知能学会論文誌,
vol. 19no. 6472-4822004

エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価
能登正人,沼澤政信,栗原正仁:
電気学会論文誌C,vol.124, no.3, 904-9112004

郡市医師会におけるテレビ会議システム導入可能性の検討:北海道医師会をモデルとした費用効果の試算
大内東,栗原正仁,三田村保,川村秀憲,宮腰昭男,中川俊男,宮本慎一,山本直也,柳井統:
医療情報学,vol.23, no.4,293-302(2003)

Analysis of a method improving reinforcement learning agents' policies
Daisuke Kitakoshi, Masahito Kurihara, and Hiroyuki Shioya:

Journal of Advanced Computational Intelligence and Intelligent Informatics, vol. 7, no. 3, 276-2822003

Modeling and analysis of genetic algorithms based on the viewpoint of mixture systems
Jun-ichi Imai, Hiroyuki Shioya, and Masahito Kurihara :

Journal of Advanced Computational Intelligence and Intelligent Informatics, vol. 7, no. 3, 268-2752003

ベイジアンネットを利用した強化学習エージェントの方策改善
北越大輔,塩谷浩之,栗原正仁:
情報処理学会論文誌, vol.44, no.11, 2884-2894(2003)

混合システム的視点に基づく遺伝的アルゴリズムのモデリング
今井順一,塩谷浩之,栗原正仁: 
情報処理学会論文誌:数理モデル化と応用,vol.44, no.SIG 7(TOM 8), 51-602003

グループ間のファジィ選好関係の合意形成と交渉戦略
三田村保, 若林高明, 大堀隆文, 栗原正仁:
日本知能情報ファジィ学会誌, vol.15, no.2, 199-208 (2003)

郡市医師会情報化実態指標の構築
大内
東,栗原正仁,三田村 保,山本雅人,宮腰昭男,中川俊男,長澤邦雄:
医療情報学,
vol.21, no.6, 397-4052002

Completion for multiple reduction orderings
Masahito Kurihara, Hisashi Kondo:
Journal of Automated Reasoning, vol.23, no.1, 25-42
1999

条件付き項書換え系に基づく言語におけるメタ計算
沼澤政信,栗原正仁,大内
:
情報処理学会論文誌,
3911号,3035-30431998

二分決定グラフを用いた項書換え系の停止性検証システム
近藤
久,栗原正仁:
人工知能学会誌,
135号,822-834 (1998)

Serial failure diagnosis of a distributed processing system by Petri nets
Masashi Katsumata, Masahito Kurihara, Azuma Ohuchi, Yoshio Sugasawa:
Computers and Mathematics with Applications, vol.31, no.9, 57-62
(1996)

Modularity in noncopying term rewriting
Masahito Kurihara, Azuma Ohuchi:
Theoretical Computer Science, vol.152, no.1, 139-169
(1995)

拡張ステータスによる項書換え系の停止性検証
能登正人,栗原正仁,大内
:
情報処理学会論文誌,
3612号,2867-28711995

抽象書換え系理論による講座配属アルゴリズムの完備性の解析
能登正人,栗原正仁,大内
:
情報処理学会論文誌,
3610号,2327-23341995

ヒューマンパフォーマンスモデルに基づく事故復旧システムの開発
篠原潤一,永田淳一,斎藤英揮,小坂井
功,大内 東,栗原正仁:
電気学会論文誌B,
1157号,803-810 (1995)

項書換えシステムにおける自己反映計算
栗原正仁
,佐藤崇昭,大内 :
コンピュータソフトウェア,日本ソフトウェア科学会,
124号,3-14(1995)

Decomposable termination of composable term rewriting systems
Masahito Kurihara, Azuma Ohuchi:
IEICE Transactions on Information and Systems, E78-D
4号,314-320 (1995)

複数の簡約順序のもとでの項書換えシステム完備化手続き
近藤
久,栗原正仁,大内 :
電子情報通信学会論文誌,
J78-D-I1号,1-10 (1995)
(英訳)Completion of term-rewriting systems with multiple reduction orderings, Hisashi Kondo, Masahito Kurihara, Azuma Ohuchi: Systems and Computers in Japan, vol.27, no.6, 33-44 (1996)

Another representation of integers in logic
Masahito Kurihara, Azuma Ohuchi:
Transactions of Information Processing Society of Japan, vol.34, no.3, 536-538
(1993)

制約伝播を利用したファジィ論理回路の故障診断
中川嘉宏,扇
一弘,栗原正仁,大内 :
情報処理学会論文誌,
342号,331-3411993

Using ATMS to efficiently verify the termination of rewrite rule programs
Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi:
International Journal of Software Engineering and Knowledge Engineering, vol.2, no.4, 547-565
(1992)

Modularity of simple termination of term rewriting systems with shared constructors
Masahito Kurihara, Azuma Ohuchi:
Theoretical Computer Science, vol.103, no.2, 273-282
(1992)

Modular term rewriting systems with shared constructors
Masahito Kurihara, Azuma Ohuchi:
Journal of Information Processing, vol.14, no.3, 357-358
1991)

Reason Maintenance System による項書き換えシステム停止性検証の効率化
近藤
久,栗原正仁,大内 :
情報処理学会論文誌,
329号,1046-10561991)

FISMによる合意モデル構築支援
大内
東,栗原正仁:
情報処理学会論文誌,
322号,256-2641991

自動推論による順序回路のパッケージ・レベル故障診断
中川嘉宏,小田匡昭,栗原正仁,大内
: 
電気学会論文誌C,
1108号,500-5071990

Modularity of simple termination of term rewriting systems
Masahito Kurihara, Azuma Ohuchi:

情報処理,
315号,633-6421990

Modular term rewriting systems and the termination
Masahito Kurihara, Ikuo Kaji:
Information Processing Letters, vol.34, no.1, 1-4
1990

論理回路の故障診断における自動推論システムの実験とヒューリスティクス
中川嘉宏,北谷義道,栗原正仁,加地郁夫
:
電気学会論文誌C,
10910号,731-7381989

混合戦略に基づいて制御されるCVS駅システムとその挙動解析
米山忠ワ,中田勝啓,栗原正仁,加地郁夫
:
電子情報通信学会論文誌A,
724号,666-6771989

Termination of the direct sum of rpo-terminating term rewriting systems
Masahito Kurihara, Ikuo Kaji:
Transactions of the IEICE, vol.E71, no.10, 975-977
1988

ゴール群に基づく並列論理型言語の情報資源管理方式
藤村
考,栗原正仁,加地郁夫:
情報処理学会論文誌,
2910, 954-9651988

知識構造モデリング法の構成と具象化ルール
大内
東,栗原正仁,加地郁夫:
人工知能学会誌,
35号,69-761988

スイッチング回路における互換グラフの決定問題とアルゴリズム
敦,栗原正仁,加地郁夫:
電子情報通信学会論文誌A,
716号,1291-12981988

置換ネットワーク上の互換操作について
敦,栗原正仁,加地郁夫:
電子情報通信学会
論文誌A,714号,999-10101988
(英訳)Transposition operations in permutation networks, Dun Wu, Masahito Kurihara, Ikuo Kaji: Electronics and Communications in Japan, vol.72, no.71989

LISP上のGHCコンパイラ
藤村
考,栗原正仁,加地郁夫:
情報処理学会論文誌,
28巻,7号,776-7851987

Automated reasoning に基づくシステム問題へのアプローチ
栗原正仁
,大内 東,加地郁夫: 
電気学会論文誌C,
1072号,141-1481987

2項関係理論による知識獲得ツールとしての階層構造分析法の構成
大内
東,栗原正仁,加地郁夫:
電気学会論文誌C,
1072号,135-1401987

Implication theory and algorithm for reachability matrix model,
Azuma Ohuchi, Masahito Kurihara, Ikuo Kaji:
IEEE Transactions on Systems, Man, and Cybernetics, vol.SMC-16, no.4, 610-616
1986

CVS側線駅のモデル化と解析
米山忠ワ,中田勝啓,栗原正仁,加地郁夫
:
電子通信学会論文誌A,
695号,548-5591986

最小平均メディアン基準に従ったサイクル・グラフ上の施設配置問題
山口
忠,栗原正仁,加地郁夫:
電子通信学会論文誌A,
692号,179-1851986

可到達行列モデルの推論構造
加瀬誠志,大内
東,栗原正仁,加地郁夫:
電子通信学会論文誌A,
691号,17-241986

An efficient procedure for transitive coupling in ISM
Azuma Ohuchi, Masahito Kurihara, Ikuo Kaji:
IEEE Transactions on Systems, Man, and Cybernetics, vol.SMC-15, no.3, 426-431
1985

Control algorithm and theoretical analysis of a grade-crossed intersection in a computer-controlled vehicle system
Masahito Kurihara, Ikuo Kaji, Yoshio Hamamatsu, Katsuhiro Nakada:
IEEE Transactions on Systems, Man, and Cybernetics, vol.SMC-15, no.3, 376-384
1985

個別軌道システムのネットワークシミュレータ
栗原正仁
,加地郁夫,浜松芳夫,中田勝啓,米山忠ワ:
シミュレーション学会誌,
41号,52-601985

マルコフ連鎖モデルによる個別軌道輸送システム2バース駅の解析
中村隆志,栗原正仁,加地郁夫,米山忠ワ
:
電子通信学会論文誌A,
6712号,1130-11371984

個別軌道輸送システムにおける立体交差同期制御方式とそのトラヒック解析
佐藤公成,栗原正仁,加地郁夫,浜松芳夫
:
電子通信学会論文誌A,
679号,904-9111984

A theorem and a procedure for the complete implication matrix of system interconnection matrices
Azuma Ohuchi, Masahito Kurihara, Ikuo Kaji:
IEEE Transactions on Systems, Man, and Cybernetics, vol.SMC-14, no.3, 545-550
1984

ISMの推移的結合における完全推論行列の考察
大内
東,栗原正仁,加地郁夫:
電気学会論文誌C,
1045号,123-1291984

離散時間系で扱ったCVS駅部モデルの入駅時間分布の解析
米山忠ワ,中田勝啓,栗原正仁,加地郁夫
:
電子通信学会論文誌A,
673号,242-2491984

ISMにおける推移的具象化の一般化
栗原正仁
,大内 東,加地郁夫:
電気学会論文誌C,
1041号,1-81984

個別軌道輸送システム平面交差点のトラヒック解析
栗原正仁
,加地郁夫,浜松芳夫,中田勝啓:
電子通信学会論文誌A,
669号,836-8431983
(英訳)Traffic analysis of PRT gradecrossed intersection, Masahito Kurihara, Ikuo Kaji, Yoshio Hamamatsu, Katsuhiro Nakada:  Electronics and Communications in Japan, vol.66-A, no.9, 36-451983

直進車を考慮したPRT十字路モデルの車両挙動の解析
浜松芳夫,栗原正仁,中田勝啓,加地郁夫
: 
電子通信学会論文誌A,
668号,717-7241983

個別軌道輸送システム多バース駅における出発待ち行列の解析
栗原正仁,中田勝啓,加地郁夫
: 
電子通信学会論文誌A,
664号,360-3671983

異種の故障時間分布から成る2ユニット待機冗長システムの予防保全と信頼度解析
菅沢喜男,加地郁夫,栗原正仁
: 
電子通信学会論文誌A,
662号,145-1511983

個別軌道輸送システム合流部における車両待ち時間の解析
浜松芳夫,栗原正仁,中田勝啓,加地郁夫
: 
電子通信学会論文誌A,
6511号,1144-11511982

状態部分集合での再帰時間を考慮したマルコフ再生理論によるCVS多バース駅モデルの解析
栗原正仁,中田勝啓,加地郁夫
: 
電子通信学会論文誌A,
657号,655-6621982

Reliability and availability analysis of a two-unit parallel redundant system with bivariate exponential lifetimes
Yoshio Sugasawa, Ikuo Kaji, Masahito Kurihara:
 
International Journal on Policy and Information, vol.6, no.1, 13-24
1982

CVS多バース駅モデルのマルコフ再生理論による解析
栗原正仁,中田勝啓,加地郁夫
: 
電子通信学会論文誌A,
649号,715-7221981
(英訳)An analysis of a CVS multiberth station model via Markov renewal theory, Masahito Kurihara, Ikuo Kaji, Katsuhiro Nakada: Electronics and Communications in Japan, vol.64-A, no.9,11-201981