『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
【お知らせ】AppBank Network の成人向け広告の配信停止につきまして | AppBank
現在 AppBank Network は、成人向け広告の配信停止を行っております。 AppBank Network とは、AppBank がアプリ開発者様にご提供しております「アプリ内の広告」を配信するシステムです。 「アプリ内の広告」とは、例えばこのようなものです。 （AppBankのアプリ「花粉チェッカー」における広告です） アプリ開発者様は、「AppBank Network」の仕組みをアプリに組み込むことで、開発したアプリに広告を表示することができます。AppBank Networkの他にもAdmob、nend、Amoad、Adlantisといった広告配信システムが存在しています。 アプリ広告の仕組みが存在することで、アプリを使うユーザーの皆様は「無料（もしくは格安）」でアプリを楽しむことができるようになります。 この時表示される広告には様々なものがありますが、こういった広告配信シス
Xcode 4.3 と Mac Ports とか HomeBrew とか
English follows Japanese. 以下のコンテンツは新規情報がみつかる度に書き換えられます。 xcode 4.3 から Commandline tools とか色々と分離されたらしい。 ちょうど同じタイミングで Mac Ports とか HomeBrew とか更新したお陰で半日潰すハメになったよ。。 とりあえず本体は Appstore からで、他は Developer site とか、紛らわしいから止めて欲しいのだが、リリースノート読まない俺が悪いのか。。Apple Developer Account 持ってる人は AppStore からインストールしないほうがいい気がするぞ。 とりあえず分かったこと。 Xcode.app は Application 本体と各種ツール群を分離 その結果、アプリケーションの実体のインストール先がこれまでの /Developers から /
日本国が危険な自主規制社会に突入しようとしている
最近気になる声がある。「最近の広告にはわいせつ物が増えた。けしからん」という声である。この声は非常に危険である。 なぜ危険なのかというと、我が国では、刑法175条により、わいせつ物の頒布や陳列、頒布や陳列を目的とした所持は違法だからだ。 過去にも多数の芸術作品が、わいせつであるとして不当に撤去され、作者は罰せられている。実に、我が国は表現の自由を有せざる劣等国である。表現の自由が認められない世界では、思想の自由もなくなる。 したがって、我々はわいせつ性の判定に、もっと慎重になるべきである。なぜならば、一度わいせつ性が認められるや、その表現は違法になるからだ。表現を規制する法律を動かす便利な理由を自ら作り出しているのである。 さて、件の広告とやらは如何。幸い、あの有名な高木浩光氏が、スクリーンショット付きで実例を上げている。 togetter をスマホで見ると、常にこの手の広告。もうtoge
作曲家・岩崎琢氏が危惧するサウンドトラックCDビジネスの今後
岩崎琢 Taku Iwasaki @taque68 サウンドトラックCDというのは作家の価値を計る一つの指針。勿論サウンドトラックである以上、付随しているタイトルの人気に左右されるものではあるが、この指針は他者を意識するという作家にとって大事な枷でありモチベーションでもある。それ故僕はCDを作らないBGM仕事は基本受けたくはない。 2012-07-07 09:10:48 岩崎琢 Taku Iwasaki @taque68 ヨルムンガンド・サウンドトラックはイニシャルを見込み違えて一番大事な時期に在庫が不足したり、ブックレットの表記間違いがあったりなど、非常～に残念な事が多いのだが、ただ元々CDすら出さないという条件だったので、こうやって形になっただけでもまだましなほうだ、と思うことにしている（笑） 2012-07-07 09:12:09 岩崎琢 Taku Iwasaki @taque68
平成5年8月豪雨 - Wikipedia
JR日豊本線・竜ヶ水駅より鹿児島湾を望む。手前に見える道路は国道10号。 （2010年現在） 平成5年8月豪雨（へいせい5ねん8がつごうう）は、1993年（平成5年）8月1日に鹿児島県姶良郡（現在の姶良市・霧島市相当地域）を中心とした地域を襲った集中豪雨いわゆる8.1豪雨（8.1水害）と、同年8月6日に鹿児島市を中心とした地域を襲った集中豪雨いわゆる8.6豪雨（8.6水害）を含む、同年7月31日から8月7日にかけての一連の豪雨災害に対して気象庁が正式に命名した総称。 鹿児島県内のマスコミ各社では、いわゆる8.6豪雨（8.6水害）のことを指すことが多く、同年9月の台風13号も「8.6水害のあった1993年の台風13号」と紹介される。 豪雨前後の状況[編集] 1993年夏の天候[編集] 1993年（平成5年）の夏は梅雨が長引き、7月下旬になっても太平洋高気圧の勢力が弱かったため梅雨前線が列島に
UIWebViewでスクレイピングするライブラリの試作版を作った - laiso - iPhoneアプリ開発グループ
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://smartappscreative.com/iphone/%E3%82%A8%E3%83%AD%E5%BA%83%E5%91%8A%E3%81%8C%E8%A1%A8%E7%A4%BA%E3%81%95%E3%82%8C%E3%82%8Biphone%E3%82%A2%E3%83%97%E3%83%AA%E3%81%8C%E5%A2%97%E3%81%88%E3%81%9F%E7%90%86%E7%94%B1/
はてなブログ | 無料ブログを作成しよう