Taro Sekiyama  Taro Sekiyama photo       

contact information

Researcher, Deep Computing & Analytics
IBM Research - Tokyo

links

Professional Associations

Professional Associations:  ACM  |  Japan Society for Software Science and Technology


2017

Multi-stage Neural Networks with Single-sided Classifiers for False Positive Reduction and its Evaluation using Lung X-ray CT Images
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
ArXiv e-prints, 2017
Abstract

Stateful Manifest Contracts
Taro Sekiyama, Atsushi Igarashi
Proceedings of the 44th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 530--544, ACM, 2017
Abstract

Polymorphic Manifest Contracts, Revised and Resolved
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
ACM Transactions on Programming Languages and Systems, TOPLAS 39(1), 3:1--3:36, ACM, 2017
Abstract


2016

Gradual Typing for Delimited Continuations
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
The 5th Script To Program Evolution Workshop, STOP, 2016

An Integrated Theory of Type-Based Static and Dynamic Verification
Taro Sekiyama
Ph.D. Thesis, 2016
Abstract


2015

Shifting the Blame - A Blame Calculus with Delimited Control
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
The 13th Asian Symposium on Programming Languages and Systems, APLAS, pp. 189--207, Springer, 2015
Abstract

Manifest Contracts for Datatypes
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
The 42th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 195--207, ACM, 2015
Abstract


2014

顕在的契約計算のための代数的データ型
関山 太朗, 西田 雄気, 五十嵐 淳
第16回プログラミングおよびプログラミング言語ワークショップ, 2014
Abstract


2012

顕在的契約計算におけるアップキャスト除去
関山 太朗, 五十嵐 淳
第14回プログラミングおよびプログラミング言語ワークショップ, 2012
Abstract

Logical Relations for a Manifest Calculus, Fixed
Taro Sekiyama, Atsushi Igarashi
The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects, HOPE, 2012
Abstract


2010

コーディングパターンとキーワードを用いて生成したコードスニペットの推薦
関山 太朗, 伊達 浩典, 石尾 隆, 井上 克郎
第72回情報処理学会全国大会, 2010