タグ

2013年11月11日のブックマーク (3件)

  • プログラミング言語Egisonの歴史

    Egisonの歴史 Egisonの歴史を紹介します。 2007年9月 江木、東京大学理学部情報科学科に進学が決定し、プログラミングの勉強を始める。 2010年3月 江木がEgisonのアイデアを得る。 卒論のために命題論理の式をいじくるプログラムを書いていたときにEgisonのパターンマッチのアイデアを得た。 2010年4月 江木、東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程に進学する。 教授たちから「日の将来に大きな影響を与える逸材」と言われ期待されていたらしい。 2011年3月 最初のEgisonの構想が練上がる。Egisonの開発を始める。 2011年5月24日 Egison Version0.1をHackageからリリース。 2011年12月 Egisonが未踏に採択される。 2012年3月 江木、修論を書き終わる。 このころ、Egisonにlo

    yo_waka
    yo_waka 2013/11/11
    ちょいちょい挟まれるプライベートに草生えるw
  • ジェネリクスの基礎と�クラス設計への応用

    Spring Bootのオートコンフィグレーションの恩恵によって、開発者はコンフィグレーションの煩わしさから解放され、Springを容易に動かすことができるようになりました。その反面、ブラックボックスになってハマってしまうことも少なくありません。セッションでは、Spring Bootのオートコンフィグレーションの仕組み・デバッグ方法・カスタマイズ方法を説明します。セッションを聞いてオートコンフィグレーションを便利に使っていきましょう。 (Spring Fest 2021での発表資料)

    ジェネリクスの基礎と�クラス設計への応用
    yo_waka
    yo_waka 2013/11/11
  • Alfred PowerPack を導入してみた - WebDelog

    AlfredPC上のアプリケーションを即座に検索でき、立ち上げることの出来るアプリケーションランチャーです。 これだけでも便利なのですが、Powerpack と呼ばれるプラグインを購入し適応してみました。 購入はこちらから行います。 購入の手続きが完了した後、ライセンスが書かれたメールが送られてきます。 これを Alfred の Preferences の Powerpack にて購入時のメールアドレスと共に入力することで Powerpack の機能が有効になります。 Power pack を適応することでアンロックされる機能は公式に掲載されている通りです。 http://www.alfredapp.com/powerpack/ ざっくり説明すると、 Workflow を作成、インストールできるようになる クリップボードの履歴の呼び出し、スニペットの登録ができるようになる iTune