開発が成熟してきたので、ここらで拙作のパターンマッチライブラリ、optimaを日本語で解説したいと思う。ただし解説とは言っても、詳細な仕様をだらだらと解説するようなことはしない。むしろ「なぜパターンマッチなのか」を踏まえた上で、簡単な入門と使用例を示すことで、パターンマッチの重要性を認識してもらうのが狙いだ。なお、詳細な仕様についてはマニュアルを参照されたい。 なぜパターンマッチなのか Common Lispにはパターンマッチライブラリが多数存在するが、その大半は単にパターンマッチが便利だからという視点しか持っていない。たしかにパターンマッチは便利であるが、便利なだけでは人々はそれを使おうとはしない。より本質的な視点を与える必要があるだろう。 OCamlやHaskellなどの関数型言語では、あらゆるデータは、代数的データ型として定義され、それにともなうデータコンストラクタによって構成される
» ラーメン屋『天下一品』がハンバーガー売ってて笑った / B級グルメ評論家「マックやモスバーガー顔負けの美味しさ」 特集 人気ラーメン屋『天下一品』の定番料理といえば、こってりとしたラーメンを頭に思い浮かべる人が多いだろう。それが普通であり常識である。記者も『天下一品』からイメージする料理はこってりラーメンであり、それ以外に浮かばない。 だがしかしッ! 信じられないかもしれないが『天下一品』がハンバーガーを売っているのである!「そんなのありえない」と思って調べてみたところ、本当に『天下一品』がハンバーガーを販売していることが判明。これは食べてみなくては! ということで、実際に『天下一品』のハンバーガーを食べてみたぞ! ・日本でたったの一カ所 ハンバーガーを作っている『天下一品』は、日本でたったの一カ所だけしかない。大阪の喜連瓜破(きれうりわり)にあるお店だ。つまり、大阪に行かないと食べる
マウスホイールで画像を拡大、ドラ ッグ操作によるスクロールが可能な jQueryのプラグイン、jQuery Wheelzoomのご紹介です。シンプルで いいですね。IEは9からの対応だそう なので利用シーンは若干限られそ うですけど。 マウスホイール操作による画像のズームや、ズーム後にドラッグ操作でスクロールも可能にするスクリプトです。 マウスホイールで画像をズームします。それだけと言えばそれだけなんですけど、結構軽量なので一応覚えておくといいかも。 Sample動作サンプルですー ドラッグ操作も可能です。タッチイベントへの対応は・・・別途コードを用意しなきゃかな(確認してない タッチイベントと合わせてスマフォ向けのECサイトなんかに導入したり、というのも良さそうだけどピンチイン/アウトにも対応しないとですかね、多分。 コード<script src='http://ajax.googlea
Our best smile! / Kamoteus (A New Beginning) どうも。「どうすればより楽しく生きられるか?」を常に考えている@ushigyuです。 人によって様々な価値観があると思いますが、私は「トータルで楽しい」かどうかで全てを判断するようにしています。 (確か、中学校の卒業アルバム寄せ書きに既に「人生を楽しもう」と書いてた気がする。。。) 例えば困難な状況やプレッシャーのかかる物事があったとして、それを乗り越えることでそれまでに感じた苦しさを上回る喜びを得ることができるなら受け入れるし、そうでなければそっとそこから離れます。 今回は、そういった「トータルでの楽しさ、幸福」をできるだけ得るために私が心がけていることを、8つにまとめてみました。 書き出してみると人間関係に関することが多かったので、やはり人との関係性の中で人生の楽しさのかなりの部分が左右されるとい
11月29日(木)、第10回「ジオメディアサミット」が開催された。ジオメディアサミットとは、2008年に有志が始めた、位置情報業界を盛り上げるためのフリーカンファレンスである。今回のテーマは「地域メディアの可能性」。 ジオメディアサミットを主催している関治之氏は、今回のテーマ選定に関してこう語った。 「過去のジオメディアサミットにおいては、位置情報をツールとしてどのように利用するのか?といった話や、最近のトレンド(例:O2Oやソーシャルメディア)などを題材として上げてきた。現在、『位置情報ビジネス調査報告書2013』を執筆するにあたり、「テクノロジーだけをフォーカスしたようなサービスって上手くいってない、位置情報というのは手段に過ぎない。」という話を書いた。地域メディアに関しても、位置情報というのは手段に過ぎず、どのように使って、どのように地域に根付かせるのか?という視点が重要で、それは「
Usage and billing Reporting and monitoring Terms of service Get Started Get Started with Google Maps Platform API Picker Billing & Pricing Security & Compliance Reporting & Monitoring FAQ Support and Resources Customer Care Incident Management Maps Maps JavaScript API Maps SDK for Android Maps SDK for iOS Google Maps for Flutter Maps Embed API Maps Static API Street View Static API Maps URLs Aeria
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く