まず、双方向リストのクイズ。難しいものではないが、時間が足りない。で、今回はファイルシステムについて。Unixにはinodeという部分があり、名前以外の様々な属性やblockの管理が行われているという。directoryにはfilenameとinode-idとの関係が定義されて…

最終回。まず、LKの推論についての注意点について。こういう変形は許されませんよ。というもの。 とりあえず試験に出るのだろう。 最後に、いくつかの定理について。cut除去定理であるとか、完全であるとか。まぁこのあたりの証明はでるまい。 というわけで…