『代數的整數論』高木 貞治 著の現代仮名遣い版高木貞治さんの『代數的整數論』初版を現代語訳しました。 高木さんの出版された書籍は2010年末に著作権が消失しているため、現代語訳は法律的に問題ないと考えています。 著作権について、ブログ：高木貞治プロジェクトを顧みる。 二（三）次利用について、現代語訳の権利について。 推奨環境：PC。（スマホ：Chrome、Firefox。） JavaScript有効。 現在も岩波書店から第2版が出版されています。 底本：『代数的整数論』高(たか)木(ぎ)貞(てい)治(じ)著、岩波書店、1959年刊 $\blacktriangleright$ 評判 代数的整数論　 概説および類体論序 前編　概説 第一章　代数的整数 $1.1$ 代数的な数 $1.2$ 有限代数体 $1.3$ 代数的整数 $1.4$ 整除 $1.5$ 単数 第二章　代数体の整数　イデアル $2

Introduction to Theoretical Computer Science Boaz Barak Work in progress This is a textbook in preparation for an introductory undergraduate course on theoretical computer science. I am using this text for Harvard CS 121. It is also used for UVa CS 3102 and UCLA CS181. See below for individual chapters. You can also download the book in a single PDF file (about 600 pages, 10MB). If you have any co

(T was one of the best Lisp implementations, and set a standard for clean design that few newer dialects have been able to meet. Here Olin Shivers recounts T's history.) Around 1981-1982, the Yale CS dept., which had a strong AI group led by Roger Schank, hired undergraduate Jonathan Rees to implement a new Lisp for their research programming. Jonathan, I and Dan Weld (now a prof. at U Washington)

Learn Prolog Now! is an introductory course to programming in Prolog. The online version has been available since 2001, and now there is also a throughly revised version available in book form. We wanted to do two things with this course. First, we wanted to provide a text that was relatively self contained, a text that would permit someone with little or no knowledge of computing to pick up the b

研究者や研究に関わる大学生や大学院生は、一年を通じて研究室ゼミや学会などで研究成果の発表を行なわなければなりません。また、近年、科学者でない人たちに対する一般向けのプレゼンや講演（アウトリーチ活動）の機会も増えてきています。他にも、研究論文や報告書を書いたり、研究費調達のために予算申請書やプロジェクトの提案書を作成したりすることも、研究者にとって欠かせない仕事です。これらはいずれも情報を他者（研究仲間や審査員、一般市民）へ伝えようとする行為であり、正確かつ効果的な情報の発信が望まれます。しかし、自己流で資料を作成して、闇雲に情報を発信していても、スムーズに情報は伝わりません。ときには誤った情報が伝わってしまい、研究の価値を正当に評価してもらえないことさえ起こりえるのです。 情報を正確にかつスムーズに他者に伝えるためには、情報をデザインすること、つまり文章を読みやすく整えたり、図表を見やすく

∗† : 2018 2 13 1 2 1.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2 14 2.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.3 . . . . . . .

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

This article is to give a brief survey of roles of large cardinals (those ordinals which are in certain sense very big) in set theory of our time. In particular, close relationship of the structure of the continuum to large cardinals is emphasized. We also mention the inner model method which is a comparable approach to large cardinal axioms, so that we could make clear the reason why large cardin

オートマトンは最も単純な計算のモデルである．その単純さゆえに初学者にとっても理解しやすく，情報系の学部においては「計算理論」や「形式言語理論」などの講義はまずオートマトンから教え始めることが標準となっている．一方，その単純さゆえに理論的な深みやさらなる研究の余地がないと誤解されることもしばしばあり，また，講義や解説書においても応用的な需要からかより強力な計算モデルに重きが置かれることも多い． 本サーベイではオートマトン理論の基礎から始め，三話構成でオートマトン・形式言語理論の様々な定理を解説していく．解説する定理の中には，オートマトン理論における古典的な結果に別の視点を新たに与えるものもあれば，オートマトン・形式言語理論と関わりのなさそうな分野との意外な繋がりを見せるものもある．オートマトン理論に習熟している方にも楽しんでもらえるよう，最近の結果や話題についても内容に盛り込んだ．

イギリスの数学者G. H. ハーディ(1877–1947)がその晩年に書いた『ある数学者の弁明』（原題：A Mathematician’s Apology）という本があります原著はInternet Archiveで読めます。。すでに出版された日本語訳もありますが、日本における著作権保護期間は終わっているので、別の翻訳をつくってみました。 これは2019年5月21日に公開した第2版です。PDF版もあります。第2版では訳文を全面的に見直したほか、訳注を大幅に増補しました。（なお、2016年に公開した初版PDFファイルはこちらにあります。） 本文中の注のうち、アスタリスク(*)は原注で、ダガー(†)は訳注です。また後者の訳注に関しては、全部まとめて、簡単な解説を添えて本文の後にも載せてあります。 『ある数学者の弁明』の表紙にも使われたハーディの写真。1927年頃とされる（Wikimedia Co