2012/9/20に iTunes U へのリンクを追記しました iTunes Uアプリはこちら→iTunes U: これ1本で様々な学問が学べる！Apple 純正の夢のような学習支援アプリ。無料。 大学がPodcastを配信していてスゴイ！！よく聞きます。 「今思うと、面白い授業あったよなー」 「大人になった今、改めて聞きたいな」 選定しました、厳選5講義。 東大が配信しているiTunes U/ Podcastを100講義ほど視聴したToshismが、涙ながらに・・・泣く泣く・・・たった5つ！たった5つに厳選しました！ 聴講後、きっとあなたは「こんなわかりやすくて面白い講義を聴けるなんて生きてて良かった。お父さん、お母さん、生んでくれてありがとう」と思うはずです。（私は思いました） 早速ご紹介していきます！ 講義1：理系の私が感激した歴史の講義 私は根っからの理系です。歴史が苦手です。テ

There's often confusion about the difference between the following three declarations in Objective-C: id foo1; NSObject *foo2; id<NSObject> foo3; The first one is the most common. It simply declares a pointer to some Objective-C object (see /usr/include/objc/objc.h). id gives the compiler no information about the actual type of the object, so the compiler cannot do compile-time type checking for y

Off-by-oneエラー（オフ-バイ-ワンエラー、off-by-one error、OBOE）とは、境界条件の判定に関するエラーの一種である。コンピュータプログラミングにおいて、ループが正しい回数より一回多く、または一回少なく実行された場合などに発生する。 この問題の代表的な原因として、プログラマーが数字のカウントを0からではなく1から開始してしまう（多くのプログラミング言語では配列の添え字は0から始まる）、数値の比較において「～未満」とすべきところを「～以下」としてしまう、等が挙げられる。また、数学的な処理を行っている場合にも発生しうる。 配列のm番目の要素からn番目までの要素を処理する場合を考える。処理対象の要素はいくつだろうか？この場合、直感的に考えるとn-m個となるが、実際には1個異なり、n-m+1個が正しい。これは「植え木算エラー」の一種である。 上記のような理由により、コンピ

このページはフリーソフトウェアファウンデーションのライセンシング&コンプライアンス・ラボによって保守されています。FSFへの寄付を行って、わたしたちの仕事を支援してください。ここに答えられていない質問がありますか? わたしたちのほかのライセンシングの資料を確認してください。または、こちらのコンプライアンス・ラボのメールlicensing@fsf.orgに連絡ください。 わたしたちは、ライセンスをいくつかの重要なポイントによって分類します。 それが自由ソフトウェアライセンスと言えるか。 それがコピーレフトのライセンスであるか。 GNU GPLと両立するかどうか。とくに記述がない限り、両立ライセンスはGPLv2とGPLv3の両方に両立性があります。 そのライセンスによって、現実的に何か特定の問題が生じるか。 よく出くわす自由ソフトウェアライセンスをほとんどこのページに挙げられるよう努力しますが

ウェブブラウザを自作する 色々なCGIをC/C++言語で作ることを考えてきましたので、 今度は趣を異にして web browser をC/C++言語で作ることを考えてみましょう。 1990年代に登場した web browser は10年も経たないうちに驚くほどの進歩を 遂げました。始めのころの browser は単に指定URLのファイルを Internet経由でダウンロードするだけでした。その後の進歩は今更説明するまでも ないでしょう。 本章ではこの最も原始的な web browser の作り方を解説します。 単に指定URLのファイルをInternet経由でダウンロードして標準出力に表示するだけです。 HTMLタグの解釈は一切しませんし、画像を文書中に表示しません。 興味と自信のある人は、ここで解説する原始 web browser を改良して Lynx や mosaic 並の web br

注意事項: (1) フォーマット文字 "q" および "Q" は、 プラットフォームの C コンパイラが C の long long 型、 Windows では __int64 をサポートする場合にのみ、 プラットフォームネイティブの値との変換を行うモードだけで利用することが できます。 バージョン 2.2 で 新たに追加 された仕様です。 フォーマット文字の前に整数をつけ、繰り返し回数 (count) を指定することが できます。 例えば、フォーマット文字列 '4h' は 'hhhh' と全く同じ 意味です。 フォーマット文字間の空白文字は無視されます; count とフォーマット 文字の間にはスペースを入れてはいけません。 フォーマット文字 "s" では、count は文字列のサイズと して扱われます。他のフォーマット文字のように繰り返し回数ではありません; 例えば、'10c' が 1

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

「"新しい"言語って、結局ほとんどは二つに分類できるような気がする。 一つは、アカデミックな世界から出てくる根本的に新しいパラダイムに基づいた言語で、 もう一つは、大会社が作るようなRADとかWebアプリに目を向けた言語。でもそろそろ、 コンパイラ実装の実経験に裏打ちされた新しい言語が生まれる時なんだろうね。」 -- Michael "Great, just what I need.. another D in programming." -- Segfault D の本 Learn to Tango with D (Kris Bell, Lars Ivar Igesund, Sean Kelly, Michael Parker 著) が発売されました。 D はシステムプログラミング言語です。 C や C++ の高いパフォーマンスと、 Ruby や Python のような現代的な言語がプロ

ツイッターで「言葉の力」と題する原稿を書いたとつぶやいたら、「読みたい」というリクエストがたくさん（三通）あった。 専門的な媒体に書いたので、ふつうの方の眼に触れる機会は少ないであろうから、リクエストにお応えして、ここにその一部を抄録することにする。 力とは外形的数値的に表示できるものではなく、ほんらいは内在的・潜勢的な資質であろうという話のあとに、こんなふうに続く。 たとえば「胆力」というのは、つよいストレスに遭遇したとき、その危地を生き延びる上で死活的に重要な資質だが、それは危機的状況にあっても「ふだんと変わらぬ悠揚迫らぬ構え」をとることができるという仕方で発現される。 つまり、外形的に何も変わらない、何も徴候化しないということが胆力の手柄なのである。だから、「チカラ」をもっぱら外形的な数値化できる成果や達成によって計測することの望む人の眼に「胆力」はたぶん見えない。 当然ながら、彼ら

オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St