Tatsuya Abe's Page

Office:

I moved to AICS, RIKEN, 6500047, Japan.

E-mail:

Manuscript1:

provides an alternative proof of Kripke and meta-logical completeness of intuitionistic modal logic using Curry-Howard isomorphism.

Xcrypt:

a job level parallel script language that helps automating Plan-Do-Check-Act (PDCA) cycles.

Xtract:

enables us to extract strings by designating columns, ranges, Perl's sentences and scripts.

Manuscript2:

splits classical logic into intuitionistic and paraconsistent logics.

XMP-mode:

Emacs major mode for editing XcalableMP programs.