Takeo Imai

Profile Information

Affiliation: Engineer, Idein inc.

Degree: MSc.(Univ. of Tokyo)

J-GLOBAL ID: 201101063089250682
researchmap Member ID: B000004690

Research Interests

Research Areas

Awards

Sep, 2015

Research Paper Award, Japan Society for Software Science and Technology

Takeo Imai
Nov, 2011

貢献賞, 第18回ソフトウェア工学の基礎ワークショップ

今井健男

Papers

An Improvement of Quasi-weakest Precondition Inference using Fast MCS Enumeration

IMAI Takeo, SAKAI Masahiro, HAGIYA Masami

Computer Software, 32(4) 4_161-4_175, 2015 Peer-reviewed
Interplay between SAT and Other Constraint Problems

SAKAI Masahiro, IMAI Takeo

Computer Software, 32(1) 1_103-1_119, 2015 Peer-reviewed
An Inference Method of Quasi-Weakest Preconditions by Minimal Unsatisfiable Core Enumeration

IMAI Takeo, SAKAI Masahiro, HAGIYA Masami

Computer Software, 30(2) 2_207-2_226, 2013 Peer-reviewed
Model-checking C programs against JML-like specification language

Masahiro Sakai, Kohei Maruchi, Takeo Imai

2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 174-183, 2012 Peer-reviewed
仕様発掘の動向と目指すべき方向性

今井健男, 酒井政裕, 遠藤侑介, 小磯貴史, 岩政幹人, 片岡欣夫

ウィンターワークショップ２０１２・イン・琵琶湖, Jan, 2012
CForge modular verification tool for C programs including specifications of data structures

Masahiro Sakai, Takeo Imai, Yoshio Kataoka

Toshiba review, 64(8) 20-23, Aug, 2009
CForge: Bounded Model Checker for C Programs

Masahiro Sakai, Takeo Imai

Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2009), 118-132, Mar, 2009 Peer-reviewed
DisC : An Extension of C++ for Distributed Memory Parallel Computing with Garbage Collection

IMAI Takeo, YAMAMOTO Hirotaka, ENDO Toshio, TAURA Kenjiro, YONEZAWA Akinori

IPSJ Transaction on Programming, 40(1) 42-56, Feb, 1999 Peer-reviewed

Misc.

産学連携によるソフトウェア進化パターン収集の試み

丸山勝久, 沢田篤史, 小林隆志, 大森隆行, 林晋平, 飯田元, 吉田則裕, 角田雅照, 岩政幹人, 今井健男, 遠藤侑介, 村田由香里, 位野木万里, 白石崇, 長岡武志, 林千博, 吉村健太郎, 大島敬志, 三部良太, 福地豊

研究報告ソフトウェア工学（SE）, 2014(1) 1-8, May 12, 2014
Specification Mining Technology for Automatically Inferring Software Specifications

今井健男, 酒井政裕, 岩政幹人

東芝レビュー = Toshiba review, 68(8) 35-38, Aug, 2013
Extracting a relation between test cases and modules by using important word analysis

遠藤侑介, 酒井政裕, 今井健男, 岩政幹人, 福元康文, 一條泰男

ソフトウェアエンジニアリングシンポジウム2012論文集, 2012 1-6, Aug 21, 2012
Application of mutation testing to system test for derivative development

MARUCHI Kohei, IMAI Takeo, OHTA Akinori, KATAOKA Yoshio

研究報告ソフトウェア工学（SE）, 2009(18) 1-8, Oct 29, 2009
C言語プログラム検証フレームワーク

Masahiro Sakai, Takeo Imai, Yoshi Kataoka

TOSHIBA REVIEW, 64(3) 41-41, Mar, 2009
Estimating Software Maintenance Cost Using Functional Redundancy Metric

IMAI Takeo, KATAOKA Yoshio, FUKAYA Tetsuji

IPSJ SIG Notes, 2002(64) 89-96, Jul 11, 2002
Architecture Centric Engineering

NISIOKA Tatsuhiro, NONOGAKI Nobuhiro, IMAI Takeo, KATO Yasushi, TAMAKI Yuji, FUKAYA Tetsuji

IPSJ SIG Notes, 2002(23) 211-218, Mar 7, 2002
DisC : An Extension of C++ for Distributed Memory Parallel Computing with Garbage Collection

IMAI TAKEO, YAMAMOTO HIROTAKA, ENDO TOSHIO, TAURA KENJIRO, YONEZAWA AKINORI

40(1) 42-56, Feb 15, 1999

Books and Other Publications

Deep Learning from a Perspective of Computer Science

Takeo Imai

Lambdanote Ltd., Jul, 2019
Types and Programming Languages

Benjamin C. Pierce (Role: Joint translator)

Ohmsha, Mar, 2013 (ISBN: 4274069117)
Software Abstractions: Logic, Language, and Analysis

Daniel Jackson (Role: Joint translator)

Ohmsha, Jul, 2011 (ISBN: 4274068587)

Presentations

Basics of deep learning compilers and their recent trends

Takeo Imai

xSIG 2019, May 29, 2019 Invited
What is machine learning systems engineering? -Engineering issues for constructing machine learning systms-

Takeo Imai

JSAI2018, Jun 8, 2018
An improvement of quasi-weakest precondition inference using fast MCS enumeration

Takeo Imai, Masahiro Sakai, Masami Hagiya

Dec 12, 2014
Model-checking C programs against JML-like specification language

Masahiro Sakai, Kohei Maruchi, Takeo Imai

the 19th Asia-Pacific Software Engineering Conference (APSEC2012), Dec, 2012
説明基盤：組み込みシステムの要求仕様を形式的に分析・検証する一手法

今井健男, 岩政幹人, 遠藤侑介, 酒井政裕, 鳥居健太郎

第19回ソフトウェア工学の基礎ワークショップ FOSE 2012, Dec, 2012
論理制約ソルバを用いたプログラムの事前条件推定

今井健男

平成24年度情報処理学会関西支部大会, Sep 21, 2012 Invited
Extracting a relation between test cases and modules by using important word analysis

遠藤侑介, 酒井政裕, 今井健男, 岩政幹人, 福元康文, 一條泰男

ソフトウェアエンジニアリングシンポジウム2012論文集, Aug 21, 2012
仮想的なタグを用いた共用体入りプログラムの事前条件推定

今井健男, 酒井政裕, 遠藤侑介, 萩谷昌己

第14回プログラミングおよびプログラミング言語ワークショップ（PPL2012）, Mar 8, 2012
An Inference Method of Quasi-Weakest Preconditions by Minimal Unsatisfiable Core Enumeration

Takeo Imai, Masahiro Sakai, Masami Hagiya

FOSE 2011, Nov, 2011
Proposal for a man-hour estimation method for cost reduction

Kohei Maruchi, Takeo Imai, Mikito Iwamasa, Yasuo Ichijo

SQiP2010, 2010
Application of mutation testing to system test for derivative development

MARUCHI Kohei, IMAI Takeo, OHTA Akinori, KATAOKA Yoshio

情報処理学会研究報告. ソフトウェア工学研究会報告, Nov 5, 2009
Mining Specifications to Test a C Function

Takeo Imai, Michael D. Ernst

FOSE 2009, Nov, 2009
CForge: C言語プログラムのための有界検査ツール

酒井政裕, 今井健男

第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009), Mar, 2009
A Pointcut-based Assertion for High-level Hardware Design

Yusuke Endoh, Takeo Imai, Mikito Iwamasa, Josh Kataoka

ACP4IS.08, Mar, 2008
システムレベル設計におけるアサーションの合成手法の提案

今井健男, 遠藤侑介, 岩政幹人, 片岡欣夫

DAシンポジウム2007, Aug, 2007
An Extension of Property Description Language

Takeo Imai

DA Symposium 2007, Aug, 2007
A Quantitative Evaluation of Maintainability Enhancement by Refactoring

Yoshio Kataoka, Takeo Imai, Hiroki Andou, Tetsuji Fukaya

ICSM 2002, Oct, 2002
Evaluating Software Maintenance Cost Using Functional Redundancy Metrics

Takeo Imai, Yoshio Kataoka, Tetsuji Fukaya

COMPSAC 2002, Aug, 2002
Estimating Software Maintenance Cost Using Functional Redundancy Metric

Imai Takeo, Kataoka Yoshio, Fukaya Tetsuji

IPSJ SIG Notes, Jul 11, 2002
Architecture Centric Engineering

Nishioka Tatsuhiro, Nonogaki Nobuhiro, Imai Takeo, Kato Yasushi, Tamaki Yuji, Fukaya Tetsuji

IPSJ SIG Notes, Mar 7, 2002

Profile Information

Research Interests

Research Areas

Awards

Papers

Misc.

Books and Other Publications

Presentations

Professional Memberships

Menu

Coauthors

Following