「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
ども!ともぞう(@tomozo_1975)です。 iPhoneのバックアップや音楽の管理と大活躍のiTunesですが、いつの間にか容量が大きくなって、あなたのハードディスクの容量を圧迫していませんか? そこで今日はWindowsのパソコンにあるiTunesのデータを丸ごと他のドライブやメディアに移動する方法を紹介いたします。 最初にiTunesデータの場所を確認して、どのくらいの容量を使っているか確認しましょう。 iTunesデータはWindows OSの種類によって、それぞれ以下の場所に入っています。 Windows7、vistaの場合は「C:¥Users¥”あなたのユーザー名”¥マイミュージック¥」 WindowsXPの場合は「C:¥Documents and Settings¥”あなたのユーザー名”¥My Documents¥マイ ミュージック¥」 私のWindowsで容量を確認する
「これ知らないMacユーザは損してるよね〜」って思えるMacのTips新年ネタ 前スレで、起動時に明けましておめでとうが出なくなったってありましたよね。 久しぶりに見ましたよ。 スクリーンセーバーでWord of the dayを設定していると、 基本的には、大辞泉(オプションで変更可能)の内容がランダムっぽく表示されるのだが、 年末には、大晦日、正月には明けましておめでとうと出ていた! それから、表示される内容と日付に注意して見ているのだが、結構日付を意識しているっぽい。 システム環境設定で「日付と時刻」から日付を手動で1月1日にしてスクリーンセーバーを「Word of the day」にすれば見ることができます。 関連リンク: OS X Lionのスクリーンセーバーで「Word of the Day」を選択して「あけましておめでとう」を表示する - MACお宝鑑定団 blog(羅針
どこかにまとまっていれば便利かなーと思いとりあえず、手元にあったのを簡単にまとめてみた。 [注意点] ネットで C++11 に関して調べる時の注意点ですが、古い言語仕様(C++0x)のまま書かれているコードが載っている事があります。 ブログの記事などを参考にする場合は投稿日を見て、最近の記事かどうかを確認しておくといいと思います。 [コーディングスタンダード] C++11 のコーディングスタンダード C++11 - the recently approved new ISO C++ standard 駆け足でC++11の概要 C++11 とオブジェクト指向 C++03 の仕様から変更のあったライブラリ [その他] C++0x総復習 Web 上での C++11 関連記事まとめ C++11 Advent Calendar 2011 C++Now! 2012
LINQ is one of those modern technologies missing from the C++ toolbox. By extension, so is Rx (Reactive Extensions), which of course is LINQ at its core... Well, today we're happy to announce that this is no longer the case. Erik Meijer's team is delivering on their promise of a native Rx. It's not available for download yet, but the work is being done and great progress has been made! Rock and ro
jinfoというJDKに付属しているコマンドラインツールを使用すると、Javaの起動オプションやシステムプロパティを確認できたり、「-XX」ではじまる一部の値については実行中に変更できるようです。 詳しい説明は以下に書いてありますが、jstackやjmapなどと同様、使用するには対象のJavaVMのPIDが必要です。 http://java.sun.com/javase/ja/6/docs/ja/technotes/tools/share/jinfo.html 例えば、以下のようなちょっとわざとらしいオプション指定でJavaアプリを起動します。 $ java -Xmx512M -XX:+UseParallelGC -XX:+UseParallelOldGC -XX:ParallelGCThreads=2 -XX:+PrintGCTimeStamps -XX:+PrintGC -XX:+Pr
Prohibit the direct or indirect inclusion of incompatible and/or legacy jars. For example, SLF4J 1.5 and SLF4J 1.6 do not work together, therefore we need to prohibit the project from building with mixed dependency versions. Spring is used by many open source projects, some reference older versions of Spring jars, so we want to control which Spring jar versions are inluded in our build. Enforcer E
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く