Takeo Imai

J-GLOBAL         Last updated: Jul 31, 2019 at 01:56
 
Avatar
Name
Takeo Imai
E-mail
bonotake.oshigotogmail.com
Affiliation
Idein inc.
Job title
Engineer
Degree
MSc.(Univ. of Tokyo)
Twitter ID
bonotake

Research Areas

 
 

Awards & Honors

 
Sep 2015
Research Paper Award, Japan Society for Software Science and Technology
 

Published Papers

 
IMAI Takeo, SAKAI Masahiro, HAGIYA Masami
Computer Software   32(4) 4_161-4_175   2015
We previously proposed a method to infer preconditions that are the weakest in a combination of predicates (quasi-weakest preconditions). This method, however, had a problem in performance due to the high cost of minimal-unsatisfiable-core (or MUC...
SAKAI Masahiro, IMAI Takeo
Computer Software   32(1) 1_103-1_119   2015
Boolean SATisfiability problem (hereafter SAT) is the problem of deciding whether there exists an assignment to variables in a given propositional formula that makes the formula true. SAT is a computationally difficult problem as it is a classical...
IMAI Takeo, SAKAI Masahiro, HAGIYA Masami
Computer Software   30(2) 2_207-2_226   2013
In this article, we propose a novel method to infer preconditions of a program. This method firstly generates a set of predicates from the program text, converts the program code into a logical formula, negates the postcondition given by the user,...
IMAI Takeo, YAMAMOTO Hirotaka, ENDO Toshio, TAURA Kenjiro, YONEZAWA Akinori
IPSJ Transaction on Programming   40(1) 42-56   Feb 1999   [Refereed]

Misc

 
今井 健男, 酒井 政裕, 岩政 幹人
東芝レビュー = Toshiba review   68(8) 35-38   Aug 2013
遠藤 侑介, 酒井 政裕, 今井 健男, 岩政 幹人, 福元 康文, 一條 泰男
ソフトウェアエンジニアリングシンポジウム2012論文集   2012 1-6   Aug 2012
Masahiro Sakai, Takeo Imai, Yoshio Kataoka
Toshiba review   64(8) 20-23   Aug 2009
MARUCHI Kohei, IMAI Takeo, OHTA Akinori, KATAOKA Yoshio
研究報告ソフトウェア工学(SE)   2009(18) 1-8   Oct 2009
派生開発では,既存のテスト資産を活用しテストケースを作成する.ゆえに,テスト工程の質を保証するには,テスト資産のテストケースの不足や冗長を見つけるテストケース評価技術が重要となる.ミューテーションテストはテスト評価技術であり,テスト削減に有効であることが知られる.しかし,時間コストを要する技術であり,システムテストへの適用は困難である.本稿では,派生開発のシステムテストに対し,ミューテーションテストの適用方法を提案する.適用実験により,提案方法がミューテーションテスト自体に要する時間の削減...
IMAI Takeo, KATAOKA Yoshio, FUKAYA Tetsuji
IPSJ SIG Notes   2002(64) 89-96   Jul 2002
Source code copying for reuse (code cloning) causes difficulty when software is modified or enhanced. Here we aim to estimate the maintenance cost caused by clones. We propose a novel metric, Functional Redundancy (FR): A degree of propagation of ...

Books etc

 
Deep Learning from a Perspective of Computer Science
Takeo Imai
Lambdanote Ltd.   Jul 2019   
Types and Programming Languages
Benjamin C. Pierce (Part:Joint Translation)
Ohmsha   Mar 2013   ISBN:4274069117
Software Abstractions: Logic, Language, and Analysis
Daniel Jackson (Part:Joint Translation)
Ohmsha   Jul 2011   ISBN:4274068587

Conference Activities & Talks

 
Basics of deep learning compilers and their recent trends [Invited]
Takeo Imai
xSIG 2019   29 May 2019   
What is machine learning systems engineering? -Engineering issues for constructing machine learning systms-
Takeo Imai
JSAI2018   8 Jun 2018   
An improvement of quasi-weakest precondition inference using fast MCS enumeration
Takeo Imai, Masahiro Sakai, Masami Hagiya
12 Dec 2014   
Model-checking C programs against JML-like specification language
Masahiro Sakai, Kohei Maruchi and Takeo Imai
the 19th Asia-Pacific Software Engineering Conference (APSEC2012)   Dec 2012   
遠藤 侑介, 酒井 政裕, 今井 健男, 岩政 幹人, 福元 康文, 一條 泰男
ソフトウェアエンジニアリングシンポジウム2012論文集   21 Aug 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   
MARUCHI Kohei, IMAI Takeo, OHTA Akinori, KATAOKA Yoshio
情報処理学会研究報告. ソフトウェア工学研究会報告   5 Nov 2009   
Mining Specifications to Test a C Function
Takeo Imai, Michael D. Ernst
FOSE 2009   Nov 2009   
A Pointcut-based Assertion for High-level Hardware Design
Yusuke Endoh, Takeo Imai, Mikito Iwamasa and Josh Kataoka
ACP4IS.08   Mar 2008   
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   
Imai Takeo, Kataoka Yoshio, Fukaya Tetsuji
IPSJ SIG Notes   11 Jul 2002   
Source code copying for reuse (code cloning) causes difficulty when software is modified or enhanced. Here we aim to estimate the maintenance cost caused by clones. We propose a novel metric, Functional Redundancy (FR): A degree of propagation of ...
Nishioka Tatsuhiro, Nonogaki Nobuhiro, Imai Takeo, Kato Yasushi, Tamaki Yuji, Fukaya Tetsuji
IPSJ SIG Notes   7 Mar 2002   
Many software systems is suffering from the problems such as "inconsistency among the development artifacts" and "less treaceability in the development processes" caused by frequent specification changes and functionality additions. The cyclic ad-...

Association Memberships