タグ

2018年2月22日のブックマーク (2件)

  • 『ウィトゲンシュタインの講義 数学の基礎篇』はスゴ本

    ウィトゲンシュタインののなかで、これが最も分かりやすい&面白い(当社比)。 数学という存在を、人の知性の産物である「発明」と捉える人がいる。いっぽうで、人が見出した世界の質である「発見」と見なす人がいる。この議論は、[『神は数学者か』はスゴ]にて語ったが、いずれの場合にせよ、数学の限界が(仮に)あるとしたならば、それは人の理性の限界であることは了解していただけるだろう。なぜなら、「発明」であれ「発見」であれ、主語が人である限り、その限界も人に属するからである。 ウィトゲンシュタインの講義は、数学の限界を見極める一方で、数学の底(もともとの了解事項)を明らかにしてくれる。 数学の底? そんなのユークリッド幾何学やヒルベルトの基礎付けを見るまでもなく、「定義」と「形式」でしょうに(あるいはそこから定義づけられる公理系といってもいい)。書を手にするまでは、そう考えていた。だが、「発明」で

    『ウィトゲンシュタインの講義 数学の基礎篇』はスゴ本
  • Google Driveの魔法機能がすごい 画像の文字を書き起こす

    Google Driveは、写真や文章、イラストなどを保管できるオンラインストレージサービス。15GBまで無料で使えるため、データの保存・共有用に使っている人もいるだろう。 そんなGoogle Driveの、意外と知られていない機能が話題になっている。Google Driveに画像をアップロードし、その画像をGoogle ドキュメントで開くと、画像の文字をテキストデータ化してくれるという。 手順はこうだ。まず、PC文字起こしをしたい画像をGoogle Driveにアップロードし、その画像を右クリック。「アプリで開く」から「Google ドキュメント」を選択して開けば終了。対応ファイル形式は「JPEG」「PNG」「GIF」「PDF」。 最適な状態で書き起こすには、ファイルサイズを2MB以下にし、テキストの高さを10ピクセル以上に。画像の向きが間違っている場合は回転させてからアップロードし、

    Google Driveの魔法機能がすごい 画像の文字を書き起こす