時羽金也のHP
今のところかなり殺風景ですが、ちょっとずつ見栄えよくしていくつもりです 主な目的としてはファイル置き場とhtmlの練習用になると思いますが...

linuxでのzipファイルの解凍方法
1.ファイルをダウンロード
2.ダウンロードしたディレクトリで以下のコマンド
unzip <解凍するzipファイル名>
3.パスワードを要求されるので、入力
(先にディレクトリを作って、そのディレクトリにダウンロード、解凍したほうが散らからなくていいかも)
(コマンドやファイル名は途中まで打ってtab押せば補完される)

ファイル置き場
自作PC教室資料
状態遷移図
字句解析など
字句解析2


備忘録
ゲーデルの不完全性定理の証明とか載せてみました(講義資料参考に適当に書いてみました)