Algebraic Topology Book
What's in the Book? To get an idea you can look at the Table of Contents and the Preface. Printed Version: The book was published by Cambridge University Press in 2002 in both paperback and hardback editions, but only the paperback version is still available (ISBN 0-521-79540-0). I have tried to keep the price of the paperback version as low as possible, but it is gradually creeping upward after s
Blank graph paper templates that you can customize - Paperkit
Highly customizable With Paperkit you can easily generate online the exact type of graph paper template (grid paper template) that you need. Use the toolbar to adjust the settings. You have full control over spacing between grid lines, margin size, stroke color and width as well as paper size. A live preview will help you evaluate your design. There are five formats available: A4, A3, legal, tablo
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
武藤研究室 講義
<BODY> <P>このページを表示するには、フレームをサポートしているブラウザが必要です。</P> </BODY>
france
cache1.pdf 14 K Acrobat Exchange 3.0J 書類 2004年 3月 29日 (月), 3:04 PM cache10.pdf 13 K Acrobat Exchange 3.0J 書類 2005年 1月 3日 (月), 9:38 AM cache11.pdf 15 K Acrobat Exchange 3.0J 書類 2005年 1月 28日 (金), 4:23 PM cache12.pdf 13 K Acrobat Exchange 3.0J 書類 2005年 3月 1日 (火), 2:07 PM cache13.pdf 12 K Acrobat Exchange 3.0J 書類 2005年 4月 8日 (金), 9:58 AM cache14.pdf 12 K Acrobat Exchange 3.0J 書類 2005年 5
PDFにフリーで追記: PDF-Viewer 印刷(分割)
PDF-Viewer 印刷(分割) PDF-XChange Viewerはタブ式PDFビューアであるが、印刷設定 も以前「様々な印刷」で縮小印刷のことについて書いたが、 1枚の紙に同じページを印刷したい場合には、印刷のページ指定で 「1,1,1,1」等のように同じページを指定することもできる。 同じ紙を複数の人に印刷したいけど紙が勿体ない場合等に使える。 1ページに複数と言うのは紙の削減と言うことで良くあるのだが、 逆に1枚に2ページ分が入っている場合に左右で二分割して1ページ 毎のPDF(又は印刷)にしたいと言う場合にはどうすれば良いだろうか? (例えばサイズ A3 → A4 x 2 ページの分割をする方法は?) Acrobat では「大きいページを分割」と言うオプションがあるのだが、 (Adobe Readerではこのオプションは無いようだ。) PDF-XChange Viewerでも
tipaman.dvi
TIPA Manual Version 1.3 Rei Fukui Graduate School of Humanities and Sociology The University of Tokyo fkr@l.u-tokyo.ac.jp 25 March 2004 Phonetics is the science of speech-sounds. From a practical point of view it is the art of producing speech-sounds and recognizing them by ear. (Henry Sweet, A Primer of Phonetics, 1906; Boldface by Sweet) The non-roman letters of the International Phonetic Alphab
実際に制作された「メビウスの歯車」 | WIRED VISION
前の記事 『iPhone』をレトロなカメラに変える竹製ケース 「ネット禁断症状」の実態調査：10カ国の違いは 次の記事 実際に制作された「メビウスの歯車」 2011年4月 8日 サイエンス・テクノロジーデザイン コメント： トラックバック (0) フィードサイエンス・テクノロジーデザイン Charlie Sorrel じっと見ていると頭が爆発するはずだ。Photo: Berkeley Robotics この「メビウスの歯車」はあまりにも非現実的で、表現することはほとんど不可能だ。 この作品は「帯の片側にしか歯が付いていない歯車」であり、カリフォルニア大学バークリー校でロボット工学を専攻する学生のAaron Hoover氏が、さまざまな3D印刷技術を駆使して制作したものだ。Hoover氏は、このような歯車が実際に動くところのアニメーションを描こうと苦労した結果、このギアを実際に作ることが可能
Chemical History of A Candle: Japanese
The Chemical History of a Candle 著者：マイケル・ファラデー (Michael Faraday) 翻訳: 山形浩生<hiyori13@alum.mit.edu> PostScript+tar+gzip版はhttps://genpaku.org/candle01/candle.tgz pdf版はhttps://genpaku.org/candle01/candle.pdf テキスト(sjis)版はhttps://genpaku.org/candle01/candlej.txt © 1999 山形浩生 プロジェクト杉田玄白正式参加作品。プロジェクト詳細はhttps://genpaku.org/を参照。このworkは、クリエイティブ・コモンズ・ライセンスの下でライセンスされている。 著作権者名を残し、この同一条件下で公開する限りにおいて、訳者および著者にたいして許
Rene Descartes "Discourse on the Method of..." Japanese
Discourse on the Method of Rightly Conducting the Reason, and Seeking the Truth in the Sciences ルネ・デカルト 著 翻訳: 山形浩生<hiyori13@alum.mit.edu> pdf版はhttps://genpaku.org/dcart01/dcart10j.pdf © 1999 山形浩生 プロジェクト杉田玄白 正式参加作品。詳細はhttps://genpaku.org/を参照のこと。このworkは、クリエイティブ・コモンズ・ライセンスの下でライセンスされている。 著作権者名を残し、この同一条件下で公開する限りにおいて、訳者および著者にたいして許可をとったり使用料を支払ったりすることいっさいなしに、商業利用を含むあらゆる形で自由に利用・複製・改変が認められる。（「同一条件下」だから、「禁無断
テキストやソースコードを比較して相違点を表示するグラフィカルなdiffツール「WinMerge」 | OSDN Magazine
プログラムの開発やHTMLの編集をする際に有用なツールの1つに、diffツールと呼ばれる、2つのファイルを比較してその相違点を表示するツールがある。ファイルの変更・修正点を確認したり、作業の進行状況をチェックするために使われており、特に複数人が関わる開発では必須ともいえるツールだ。今回紹介する「WinMerge」は、Windows向けの多機能かつ使いやすいdiffツールだ。 WinMergeはテキストの差分をとるだけではなく、比較したファイル間で異なっている個所を互いにコピーして修正したり、フォルダ内のファイルの有無を比較する機能なども備えている。また、プラグインで対応するファイル形式を拡張でき、たとえばWordやExcelの文書ファイルやPDF、パワーポイント、果ては一太郎の文書ファイルまでも比較できてしまう。操作性も高く、内容に違いのある行は色分け表示されるためとても分かりやすい。プロ
Enscript を使ってソースコードを印刷してみる
ソースコードは画面で読むより印刷して読んだ方がいい，ということで，印刷ツールをぼちぼち探してみました。近頃のエディタには，多機能な印刷ユーティリティが付属していて，どれもよくできているとは思うんですけれど，ソースコードの pretty print ツールというと，少し物足りない感じ。 というわけで，ここでは，GNU Enscript というプログラムを使って，ソースコードを整形印刷してみようと思います。なお，ここではソースコードの印刷に限った話をするけれども，Enscript はソースコード印刷専用のプログラムというわけじゃありません（多機能版 a2ps といった感じ）。 FreeBSD からのインストールは，例によって Ports から make 一発です。print/enscript-a4 とか print/enscript-letter とか，判型によって Ports が分かれている
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.math.wisc.edu/~keisler/calc.html