- Recent study
- Takaharu Hirai.

**AIAI -- A teacher training curriculum of the Artificial Intelligence era --**(presentation)

Kinki Society of Mathematics Education, 63th, February 4th 2018, in Japanese. - Takaharu Hirai.

**Tricks are mathematics 2 -- Teaching Materials Made From Original Magics (literal expression version) --**(presentation)

Kinki Seminar of Japanese Mathematics, 248th, April 12th 2015, in Japanese. - Takaharu Hirai.

**Tricks are mathematics(2) -- Examples of the Original Magics --**(poster presentation)

Kinki Society of Mathematics Education, 57th, February 28th 2015, in Japanese. - Takaharu Hirai.

**Tricks are mathematics -- Teaching Materials Made From Original Magics --**(presentation)

Kinki Seminar of Japanese Mathematics, 246th, February 8th 2015, in Japanese. - Takaharu Hirai.

**The present conditions and the future of the mathematics education -- Things can't remain as they are. --**(presentation)

Kinki Seminar of Japanese Mathematics, 225th, March 10th 2013, in Japanese. - Takaharu Hirai.

**Sense Mathematics Bodily! -- Some Reports on Class Practices --**(Hand out)(poster presentation)

Kinki Society of Mathematics Education, 52nd, September 22th 2012, in Japanese. - Takaharu Hirai.

**Teaching materials for the double and half transformation problem -- A Lecture Showing the Elegance of Mathematics --**

Journal of Kinki Society of Mathematics Education, Number 25, February 2012, in Japanese. - Takaharu Hirai.

**A practical report on the double and half transformation -- How feel junior high-school students about the elegance of mathematics? --**(presentation)

Kinki Society of Mathematics Education, 50th, October 1st 2011, in Japanese. - Tonkoh, Takaharu Hirai.

**An update on the double and half transformation -- An report on a practice based on the double and half transformation --**(presentation)

Kinki Seminar of Japanese Mathematics, 204th, April 17th 2011, in Japanese. - Takaharu Hirai.

**A double and half transformation game -- Development of materials based on the double and half transformation --**(presentation)

Kinki Society of Mathematics Education, 49th, February 19th 2011, in Japanese. - Takaharu Hirai.

**Firsthand knowledge from differing of viewpoint regarding space figures -- The age from which we perceive unusual solids as strange --**(presentation)

Kinki Society of Mathematics Education, 46th, September 26th 2009, in Japanese. - Takaharu Hirai.

**‡”a**_{i}and "the sum of a_{i}" -- Mathematical notation as a second language --

Journal of Kinki Society of Mathematics Education, Number 20, February 2007, in Japanese. - Takaharu Hirai.

**Tricks are mathematics -- An Educational Material Made From Magics --**(presentation)

Kinki Society of Mathematics Education, 40th, September 16th 2006, in Japanese. - Takaharu Hirai.

**Mathematics as a second language (Hand out)**

J-SLA2005 poster presentation, May 2005, in Japanese. - Takaharu Hirai.

**Spot The Top Runners Of An Ekiden Road Relay Team -- An Educational Material For An Expansive Use Of Data --**

Journal of Kinki Society of Mathematics Education, Number 16, February 2003, in Japanese. - Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Naoyuki Tamura.

**Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic**

In Proceedings of the 17th International Conference on Logic Programming (ICLP'01), pp.315-330, Lecture Notes in Computer Science 2237, Springer, 2001. - Takaharu Hirai.

**Propositional Temporal Linear Logic and its Application to Concurrent Systems**

The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences VOL.E83-A, No.11 [Special section on Concurrent Systems Technology], November 2000. - Takaharu Hirai.

**Doctoral Dissertation**, September 2000. - Naoyuki Tamura, Takaharu Hirai, Hideo Yoshikawa, Kyoung-Sun Kang and Mutsunori Banbara.

**Logic Programming in an Intuitionistic Temporal Linear Logic**

Information Processing Society of Japan Transactions on Programming, June 2000,in Japanese. - Takaharu Hirai.

**An Application of Temporal Linear Logic to Timed Petri Nets**

Petri Nets'99 Workshop on Applications of Petri nets to intelligent system development, June 1999. - Book
- Saburo Tamura, Ken'ichi Aragane, Takaharu Hirai.

**Logic and Thinking**

Osaka Kyoiku Tosho, May 1996,in Japanese.

- Saburo Tamura, Ken'ichi Aragane, Takaharu Hirai.