PDFのユーザー間の共有は可能だけど、PDFの公開はまだ無理のもよう。 PDF文書は、ブラウザ上では画像で大きめに表示される。その画像の上で矩形選択&Ctrl+Cで文字をコピーできる少しきもちわるい仕様。slideshareは表示が小さかったり処理が重かったりといろ…

この辺の話題の調査というかまとめというか。発表で使ったLaTeXで作ったスライドを少し追加修正。想定時間とか大幅に間違えてるので、バランス的な面でいろいろ中途半端かもしれない。Survey around Semantics for Programming Languages, and Machine Proof…