トップ «前の日記(2007-08-08) 最新 次の日記(2007-08-10)» 月表示 編集

日々の流転


2007-08-09 [長年日記]

λ. slideshare

slideshare というサービスを池上さんのところで知ったので、LLRingの発表資料などをアップロード(My Slidespace)して、日記にも貼り付けてみた。 例えばこんな感じになる。

おぎろぐはてな - Powerpointの資料をキレイにSlideShareにアップする で紹介されているように、フォントを埋め込んだPDFを作ってアップロードすると良いようだ。

【2007-09-30追記】 YouTubeに対するFlowPlayerのように、スタンドアローン(?)で使えるプレーヤーもあると良いのにな。と思ったが、OpenOffice.org Impress はswfを出力できたはずだから、それを使えばよいのか。

λ. “Topoi: The Categorial Analysis of Logic” by Robert Goldblatt

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)(Robert Goldblatt)

たけをさんのところでも書いたが、この本の古い版を The Cornell Library Historical Mathematics Monographs - Topoi, the categorial analysis of logic で読むことが出来る。

それで、ローカルでも読みたかったので、とりあえず各ページのPDFを全部落してきて、pdfpdfpdf.com (pdfc)で連結してみた。 15MバイトくらいのPDFが出来た。

Tags: 圏論