KOMORI, Yuichi

Japanese page is available.

Google Scholar Citations

LIST OF MY PAPERS

ARTICLES

• Yuichi Komori, Arato Cho: $\lambda\rho-calculus, Proceedings of the 40th MLG meeting, 2007
• Yuichi Komori: Independent Axiom Systems of Minimal formulas for Classical Logic, Proceedings of the 39th MLG meeting, 56-58, 2006
• BULLETIN OF THE SECTION OF LOGIC, VOL. 31, No. 2 : Selected papers presented at the 35th meeting of MLG, 2001(Proceedings)
• BULLETIN OF THE SECTION OF LOGIC, VOL. 30, No. 2 : Selected papers presented at the 34th meeting of MLG, 2001(Proceedings)
• LaTeX source file of the paper "Syntactical Investigations into BI Logic and BB'I Logic(by Yuichi KOMORI, Studia Logica 53 (1994) 397-416)". You need a style file "proof.sty"(written by Makoto TATSUTA) to compile this source file.

Photos of Symposia

• Algebra & Substructural Logic, 1999
• Gosiki-Numa: I have taken a photpgraph (51kbyte) at Gosiki-Numa in Ura-Bandai, August 29, 1995. The males in this picture are in their fourth year of Shizuoka University. The women in it are in their fourth year of Tokyo Women's Christian University.
• NSL'95 IN IRKUTSK: The workshop NSL'95 (Second Workshop on Non-Standard Logics and Logtcal Aspects of Computer Science) was held in Irkutsk near Lake Baikal, Russia, from June 15 to June 18, 1995.
  Ono and Maksimova (38Kbyte), Hagiya and Takeuti (29Kbyte), Hagiya and ? ? (40Kbyte), Toyama and Mouri (31Kbyte), Bunder and ? (31Kbyte), Bunder and ? ? (31Kbyte), ? and ? (30Kbyte)

CATS

KOMORI, Yoshiko

My favorite WWW sites

Free Software:

• File Shredder
• The GNU Privacy Guard - GnuPG.org
• Darik's Boot and Nuke (Hard Drive Disk Wipe)

Created: January 1, 1997
Updated: September 13, 2014
Updated: August 29, 2015