学生の活躍 2014年 情報工学科 情報工学専攻
(受賞2件,発表18件,論文掲載10 その他教員の受賞4件 教員の英文論文20件)
学生の受賞
-
重田 真那実 (天野研修士2年)
2013年度 冬のLAシンポジウム
EATCS/LA Student Presentation Award (2014.1.30)
http://www.jaist.ac.jp/~uehara/EATCS-J/index-j.html
http://www.st.gunma-u.ac.jp/news/2014/S05.html
-
Ahmad Bazzi(小野里研博士2013年度修了), Yoshikuni Onozato
Automatic Detection of Malicious PDF Files Using Dynamic Analysis
(JSST2013 OS3-4)
日本シミュレーション学会奨励賞
http://www.jsst.jp/j/jsst_info/award/h26winner.html
学部学生の学会発表
-
伊澤徹(学部4年)、奥寛雅
1msオートパンチルトのためのパターンマーカーの基礎検討
第15回計測自動制御学会システムインテグレーション部門講演会(SICE SI2014),3G3-2,
2014年12月17日
修士学生の学会発表
-
棚網 圭介 (藤田研修士2年)
Coqを用いた赤黒木の帰納的定義とプログラム抽出
ラムダ計算と論理の早春セミナー
国立大学草津セミナーハウス, 2014年3月6日
-
金井 翔(修士2年),横尾英俊
Compression by substring enumeration符号化法のBWT行列による実現
情報処理学会研究報告,vol.2014-AL-148, no. 7, pp.39-46,
2014年6月.
-
山崎世界(修士2年),金安英明(修士2年),横尾英俊
Compression by substring enumerationデータ圧縮法の効率的実現
電子情報通信学会技術研究報告,vol.113, no. 411, IT2013-51,
pp.35-40, 2014年1月.
-
重田 真那実(修士2年),天野 一幸
Ordered Biclique Partitionと通信計算量
2013年度 冬のLAシンポジウム
(2014.1.28-30 京大)
-
武井 渉(修士1年), 細堀勝也(2013.03卒業), 加藤 毅, 大町真一郎
画像認識のためのマハラノビス符号化法の提案,
電子情報通信学会技術報告書 PRMU1月,
2014,於大阪大学,PRMU2013-113,pp.201-206.
博士学生の学会発表
-
金井康弘(博士2年),阿部圭司,関庸一
Price percolation model による電子部品の市場成長の再現
日本経営工学会平成24年度秋季研究大会予稿集, pp.94-95,
広島大学, 2014年11月9日
-
鹿貫悠多(博士2年), 小暮和重, 太田直哉, 塩谷敏昭,岩田知之
LRFと全方位カメラを用いた人物探索,
つくばチャレンジ2013シンポジウム,参加レポート集, pp.32-38, 2014/1/7,
筑波大学 大学会館ホール
-
鹿貫悠多(博士2年), 太田直哉
障害物検出に最適化されたステレオビジョン
-目的指向のコンピュータビジョンアルゴリズム-
第32回日本ロボット学会学術講演会予稿集, RSJ2014AC1J2-07
九州産業大学(〒813-8503 福岡県福岡市東区松香台2-3-1)
2014年9月4日~6日 (発表は4日)
-
レラトーレイサ(博士3年),ナガウハイリアング(2013.03卒業), 廣橋義寛
(2012.03卒業),柿本哲宏,岡田欣也,加藤 毅
腎顕微鏡画像中の糸球体の網羅的自動検出
医用画像研究会,2014/09/02,統数研,IEICE Tech Report Vol 114, No 200,
MI2014-37(2014-9), pp.13-18.
-
Raissa Relator(博士3年), Tsuyoshi Kato, Takuma Tomaru(2010.03修了),
Naoya Ohta
Fuzzy Multiple Subspace Fitting for Anomaly Detection
第100回数理モデル化と問題解決研究発表会,
2014/09/25-26,みらい科学館.
IPSJ SIG Tech Report, Vol. 2014-MPS-100 No.24
-
Raissa Relator(博士3年),Yoshihiro Hirohashi(2012.03卒業),Eisuke Ito(博
士1年),Tsuyoshi Kato
Mean Polynomial Kernel and Its Application to Vector Sequence Recognition
第100回数理モデル化と問題解決研究発表会,
2014/09/25-26,みらい科学館.
IPSJ SIG Tech Report, Vol. 2014-MPS-100 No.25
-
Raissa Relator(博士2年), Tsuyoshi Kato, Richard Lemence
Improved protein-ligand prediction using kernel weighted
canonical correlation analysis
第37回バイオ情報学研究発表会,
2014/03/04-05, 九州工業大学
IPSJ SIG Technical Report vol 2014, issue 5, pages: 1-6
-
Kazuyuki Amano and Atsushi Saito(博士3年)
A Nonuniform Circuit Class with Multi Layers of Threshold Gates
Having Super Quasi Polynomial Size Lower Bounds against NEXP
電子情報通信学会 コンピュテーション研究会 (2014.12.5,崇城大学)
-
Kazuyuki Amano, Atsushi Saito(博士 3年)
A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits
電子情報通信学会コンピュテーション研究会 (2014.4.24,仙台)
-
Kazuyuki Amano, Atsushi Saito(博士 3年)
A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(2014.7.13-15,Okinawa, Japan)
-
Ahmad Bazzi(博士3年), Yoshikuni Onozato,
Towards a Privacy-Aware Gateway Proxy,
2014年電子情報通信学会総合大会, BS-1-44,
(2014.3.18-3.21,新潟大学五十嵐キャンパス(新潟県新潟市)).
-
レラトー レイサ(博士2年),廣橋義寛(2013.02卒業),伊藤栄祐(修士2年),加藤毅
平均多項式カーネルと動画像認識およびブレインマシンインタフェースへの応用,
電子情報通信学会技術報告書 PRMU1月, 2014,於大阪大学,
PRMU2013-119, pp.281-286.
学部学生の学術論文掲載
-
Tetsuhiro Kakimoto, Kinya Okada, Yoshihiro Hirohashi(2012.03卒業),
Raissa Relator(博士3年), Mizue Kawai, Taku Iguchi,
Keisuke Fujitaka, Masashi Nishio, Tsuyoshi Kato,
Atsushi Fukunari, Hiroyuki Utsumi,
Automated image analysis of a glomerular injury marker
desmin in SDT rats treated with losartan
Journal of Endocrinology, 222 (1) 43-51, doi: 10.1530/JOE-14-0164.
-
Yoshihiro Hirohashi(2012.03卒業), Raissa Relator(博士3年),
Tetsuhiro Kakimoto, Ryuta Saito, Yasushi Horai,
Atsushi Fukunari, Hiroyuki Utsumi, Kinya Okada and Tsuyoshi Kato
"Automated Quantitative Image Analysis of Glomerular Desmin
Immunostaining as a Sensitive Injury Marker in Spontaneously
Diabtic Torii Rats"
Journal of Biomedical Imaging Processing,
vol.1, issue 1, pp.20-28, 2014, May.
修士学生の学術論文掲載
-
Kyohei Kozawa(2009.3修了), Yota Otachi(2010.3[博士]修了), Koichi Yamazaki,
Lower bounds for treewidth of product graphs,
Discrete Applied Mathematics, vol.162, pp.251--258, 2014.
-
Furuse Masanobu (2010.03修了), Koichi Yamazaki,
A revisit of the scheme for computing treewidth and minimum fill-in,
Theoretical Computer Science, vol.531, pp.66--76, 2014.
-
仁藤慎也(修士2年), 藍原雅一, 関 庸一
地域医療データバンクレセプトデータを活用した病院選択行動のロジット分析
医療情報学, Vol.33, No.5, pp.243-251 (2014).
-
Tamaki Nakajima(2012.3修了), Yuki Tanaka, Toru Araki,
Twin Domination Problems in Round Digraphs,
IEICE Transactions on Fundamentals, vol. E97-A, no.6, pp.1192-1199, Jun. 2014.
博士学生の学術論文掲載
-
鹿貫悠多(博士2年), 太田直哉, 長井歩
勾配方向ヒストグラムのエントロピーによるカメラの放射歪の自動補正
誌名: 電子情報通信学会論文誌 D
Vol. J97-D No. 9 pp. 1510-1518
-
Raissa Relator(博士3年), Yoshihiro Hirohashi(2012.03卒業), Eisuke Ito(博士1年), Tsuyoshi Kato,
Mean Polynomial Kernel and Its Application to Vector Sequence Recognition,
IEICE Transactions on Information \& Systems,Vol.E97-D,No.7,pp.1855-1863, Jul. 2014.
-
Raissa Relator(博士3年), Tsuyoshi Kato, Takuma Tomaru(2010.03修了),
Naoya Ohta
Fuzzy Multiple Subspace Fitting for Anomaly Detection,
IEICE Transactions on Information & Systems, Vol.Exx-D,No.x,pp.-, in press.
-
金井康弘(博士2年),阿部圭司,関庸一
価格-販売量推移曲線のモデル化と活用法―民生エレクトロニクス関連製品への適用―
TORSJ : Transactions of the Operations Research Society of Japan, Vol.57, pp.132-148, 2014 (2014).
教員の受賞
-
藤田 憲悦
日本ソフトェア科学会第30回高橋奨励賞受賞(2014年9月9日)
-
計測自動制御学会計測部門論文賞
奥寛雅
- 計測自動制御学会論文賞・蓮沼賞
奥寛雅
-
第19回画像センシングシンポジウム最優秀学術賞
奥寛雅
-
映像情報メディア学会誌 2013年動画コンテンツ優秀賞
奥寛雅
教員の学術論文掲載
-
K. Fujita
Type problems for lambda calculi: from the theory of mathematical foundations
to the structure of programming languages
Suaku 66 no. 1, pp. 78–89 (2014)
-
Akira Hafuka, Hiroaki Yoshikawa, Koji Yamada, Tsuyoshi Kato, Masahiro
Takahashi, Satoshi Okabe, Hisashi Satoh,
Application of Fluorescence Spectroscopy Using a Novel Fluoroionophore
for Quantification of Zinc in Urban Runoff,
Water Research, vol 54, no 1, pp.12-20, May, 2014.
-
Tomoyuki Morimae
Acausal measurement-based quantum computing
Physical Review A 90, 010101(R) (2014)
-
Tomoyuki Morimae, Keisuke Fujii, Joseph F. Fitzsimons
On the hardness of classically simulating the one clean qubit model
Physical Review Letters 112, 130502 (2014)
-
Tomoyuki Morimae
Measurement-based quantum computation cannot avoid byproducts
International Journal of Quantum Information. 12, 1450026 (2014)
Selected as Editor's choice
-
Tomoyuki Morimae
Verification for measurement-only blind quantum computing
Physical Review A 89, 060302(R) (2014)
-
Aleksy Schubert, Ken-etsu Fujita
A note on subject reduction in (→, ∃)-Curry with respect to complete
developments
Inf. Process. Lett. 114(1-2) 72-75 (2014)
-
Ken-etsu Fujita, Aleksy Schubert
Existential type systems between Church and Curry style (type-free style)
Theor. Comput. Sci. 549: 17-35 (2014)
-
Yota Otachi, Toshiki Saitoh, Katsuhisa Yamanaka, Shuji Kijimad, Yoshio
Okamoto, Hirotaka Ono, Yushi Uno, Koichi Yamazaki,
Approximating the path-distance-width for AT-free graphs and graphs in
related classes,
Discrete Applied Mathematics, vol.168, pp.69--77, 2014.
-
Athanassios Koutsonas, Dimitrios M. Thilikos, Koichi Yamazaki,
Outerplanar obstructions for matroid pathwidth,
Discrete Mathematics, vol.315-316, pp.95--101, 2014.
-
T. Araki,
Dirac's condition for completely independent spanning trees,
Journal of Graph Theory, vol. 77, no. 3, pp. 171-179, 2014.
-
Kazuyuki Amano,
Some Improved Bounds on Communication Complexity via New Decomposition of Cliques,
Discrete Applied Mathematics, Vol. 166, pp. 249-254 (2014)
-
Kazuyuki Amano,
On Extremal k-CNF Formulas,
European Journal of Combinatorics, Vol. 35, pp. 35-50 (2014)
-
Lihui Wang, Hiromasa Oku and Masatoshi Ishikawa
An improved low-optical-power variable focus lens with a large aperture,
Optics Express, Vol.22, Iss.16, pp. 19448-19456 (2014)
-
Yoshihiro Watanabe, Hiromasa Oku, Masatoshi Ishikawa
Architectures and applications of high-speed vision,
Optical Review, Vol.21, Iss.6, pp. 875-882 (2014)
(解説論文)
-
Taku Senoo, Yuji Yamakawa, Yoshihiro Watanabe, Hiromasa Oku and Masatoshi Ishikawa
High-Speed Vision and its Application Systems,
Journal of Robotics and Mechatronics, Vol.26, No.3, pp.287-301 (2014)
(解説論文)
-
T. Phung-Duc and K. Kawanishi,
Performance analysis of call centers with abandonment, retrial and after-call work,
Performance Evaluation, Vol.80, pp.43-62 (2014).
DOI: 10.1016/j.peva.2014.03.001
-
T. Phung-Duc and K. Kawanishi,
An efficient method for performance analysis of blended call centers with redial,
Asia-Pacific Journal of Operational Research, Vol.31, No.2, 1440008 (2014).
DOI: 10.1142/S0217595914400089
-
Katsuhisa Yamanaka and Shin-Ichi Nakano
Efficient Enumeration of All Ladder Lotteries with k Bars
IEICE TRANS. FUNDAMENTALS, Special Section on Discrete Mathematics and Its Applications
Vol.E97-A, no.6, pp. 1163-1170 (2014).
-
Takehiro Ito, Shin-Ichi Nakano, Yoshio Okamoto, Yota Otachi, Ryuhei Uehara, Takeaki Uno and Yushi Uno
A 4.31-approximation for the geometric unique coverage problem on unit disks
Theoretical Computer Science, Vol.544, pp.14-31 (2014).