哲学・思想

形式の哲学を、実装可能な構造として読み直す論考。