タグ

2012年1月19日のブックマーク (6件)

  • Home

    https://github.com/scalajp/introduction-to-category-theory-in-scala-jp/wiki に移動しました。こちらは、ミラーとさせていただきます。 これは、Typesafe 社の Director Professional Services である Heiko Seeberger 氏による「Introduction to Category Theory in Scala」の翻訳文です。誤訳、誤記などがありましたら、 日Scalaユーザーズグループの「圏論入門 レビューのお願い」トピックに投稿していただくか、@quassia88 にご連絡ください。 もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎に遭遇するだろう。そうい

    Home
    DOISHIGERU
    DOISHIGERU 2012/01/19
    プログラミング言語で圏論
  • システム情報の取得 - It_lives_vainlyの日記

    従来の携帯コンテンツと比べてしまうと、iPhoneはかなりメモリに余裕がある端末だとは思うんですけど、 余裕があれば余裕があっただけ、使ってしまいたくなるのがコンテンツ屋ってもんです. そんなわけで、開発中、自身のアプリケーションの中で後どのぐらいメモリが使えるのかとか、ある処理を 行ったときにどの程度メモリを消費したのかを把握できるようになっておくと便利です. xcode には、Shark とか Instruments とか便利なツールが揃っていますが、ツールでは把握しづらい部分を 計測するためにも、利用メモリ量の取得を行えるようにしてみました. そんなわけで、いつものように足跡を残しておきます. 利用メモリ量の取得 現在のメモリの状況を取得するためには、 host_statistics() を利用する. こんな感じに、利用すればよい. #include <mach/host_info.

    システム情報の取得 - It_lives_vainlyの日記
    DOISHIGERU
    DOISHIGERU 2012/01/19
    メモリ使用量
  • AppleScript入門教室

    GO HOME AppleScript入門教室について ※これは、筆者が運営するJHUG-NETというBBS用に作成した、AppleScriptの入門用テキストをリライトしたものです。 MacOS 8.5より日語表記によるAppleScriptがなくなってしまい、英語表記のみとなってしまいました。このため、それまでの日語表記だったテキス トを全て英語表記にリライトしてあります。

  • § 使って楽しいアップルスクリプト集 §

    最近のiTunesの困った機能の一つが、アプリ側で勝手にアルバムのレート「★」をつけてしまうやつ。アルバムにレートがつくと、そのアルバムの全曲に星がつく。自分でレートをつけなかった曲には薄い星がつく。これが問題。 星の数でスマートプレイリストを作っている場合、この薄い星のついた曲も含まれてしまうんだな。だから自分で星をつけた覚えのない曲までリストに入ってしまう。 この不具合を解決するには手動でアルバムのレートを解除すればいいんだが、いずれまたアプリ側で勝手につけてしまう。もういたちごっこよ。止めることもできないなら、せめてスクリプトを使えば解除作業もはかどるってことで。 tell application "iTunes" set selected_tracks to a reference to selection as list repeat with a_track in select

  • 手書きPDF入門 PDF by Hand - Kobu.Com

    %PDF-1.2 1 0 obj << /Type /Page /Parent 7 0 R /Resources 3 0 R /Contents 2 0 R >> endobj . . . 9 0 obj << /CreationDate (D:19991115) /Title (Hand-written sample PDF) /Author (ARAI Bunkichi, Yokohama Koubunsha) >> endobj xref 0 10 0000000000 65535 f 0000000012 00000 n 0000000184 00000 n 0000001672 00000 n 0000001888 00000 n 0000002185 00000 n 0000002569 00000 n 0000002992 00000 n 0000003218 00000 n

  • leptokurtosis.com - このウェブサイトは販売用です! - leptokurtosis リソースおよび情報

    DOISHIGERU
    DOISHIGERU 2012/01/19
    LyaxでMaxima