Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro
高性能 無料ペイントツール FireAlpaca (Mac/Win両対応) - mdiapp開発報告所
http://firealpaca.com/ タイトルそのまま、無料のペイントツールを開発しました！ 苦節数年、ようやくMac対応 (もちろんWindowsにも対応) のアプリを作る事ができました……長かった (涙）。今回は多くの人が気軽に使えるように、可能な限りシンプルな機能とインターフェースを目指しました。自分で言うのも何ですが、とても良い感じに仕上がっていると思います。 http://d.hatena.ne.jp/MDIAPP/20120311/1331453406 (使い方、Tipsをまとめました 一応最初に書いておきますと、アプリの起動時に新バージョン確認と広告表示用のダイアログが出るようになっていて、「この枠を使って収益を上げられないかな」と考えています。ネットワークに接続するのは起動した時だけですし、個人情報の送付は行ってないので大丈夫です、信頼してください！（パケットを監視
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
kkaneko.com
はてなまとめ（仮）
