TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも
プログラミング言語の「型」の定番書と言われる Types and Programming Languages (通称 TAPL) の翻訳本が、ついに 3 月 26 日に発売されます。 型システム入門 −プログラミング言語と型の理論−posted with amazlet at 13.03.01Benjamin C. Pierce オーム社 売り上げランキング: 598 Amazon.co.jpで詳細を見る (↑アフィリエイトなのでクリックするなよ！) (個人的に) 読んで欲しい人たちへ 「型」の教科書ということで、わりと Ruby の対極にあるような内容ですが、Ruby ユーザ (動的型付き言語しか知らない人) にこそ読んで欲しいと思ってます。 PHP しか知らない人が PHP の良さを語るのが滑稽なように *1 、型がないことのメリット・デメリットを語るには、本気で型がある言語の考え方を
働くことに対して無理やりでもモチベーションを上げるための５つの方法 | 23A.JP
がっかり Photo by SigNote Cloud どうも、23（@Fumi）です。 最近、働くことに対するモチベーションが急降下しました。 原因は、今の職場でのコミュニケーションがうまくいかないことや、今の会社の体質が好きではないためです。 とは言っても、いきなり仕事を止めて無職になるわけにもいかないので、異動先、転職先が見つかったりするまでは働き続けなければいけません。また、もしかしたらこのモチベーションの低下は一時的なものかもしれません。 何にせよ、働くことに対するモチベーションが下がったままでは業務に支障が出てしまいます。 そこで今回は、無理やりにでもモチベーションを上げるために私が実践している方法をご紹介します。 根本的な解決になる分けではないものもありますが、一時しのぎとしても使えるのではないかと思います。 １．働くことは、人生の暇つぶしと考える 暇… Photo
アメリカの小学生が文の構造を見える化し英語文法を血肉化するのに使っている図の描き方
今日まで使われるこのダイアグラムは、1877年に出版されたAlonzo Reed と Brainerd Kellogg 1877. Higher Lessons in English（→Gutenbergで読める）に登場するものだが、1847年には早くもW. S. ClarkがA Practical Grammarの中でバルーン・メソッドと呼んだ類似の方法が提案されている。 特徴としては、 ・我々が親しんできた伝統文法を活用でき、 ・文の内容において、主なもの／従うものの階層付けがはっきりしており、 ・文ごとに個性的で印象の強いダイアグラムが生成される 利用法としては、出来上がったダイアグラムを見てどうこうするというより、ダイアグラムをつくるプロセス（シンプルなところから始めて要素を追加していくところ）にトレーニングとしての主眼はある。 以上から、今でも米の教育現場ではしぶとい人気がある。
スマホが“履く”パンツに騒然、バンダイが「スマートパンツ」発売。
「スマートパンツの時代が来た」「スマートパンツかわいいです！」「スマートパンツ予約売り切れすぎワラタ」――。いま、Twitterなどで、スマートパンツが話題沸騰中だ。スマートなパンツ？ そう、スマートフォンに履かせるパンツのことだ。 バンダイが3月に発売を予定しているスマートパンツは、1個200円のカプセル玩具。そのチラシでは、「ホームボタンを守れ」「世界初スマートフォンに履かせるパンツです」と紹介されている。つまり、たくさん使う大事な部分（ホームボタン）を守るために、大胆なデザインのパンツを履かせるという、なんとも斬新な、明後日の方向からすっ飛んできたような発想のアイテムだ。 ラインアップはブリーフ、しまぱん、ブーメラン、ヒョウ柄Tバック、ボクサーパンツ、真っ赤なTバック、いちごパンツ、シークレットの全8種類。 このスマートパンツを扱うオンラインショップでは、予約受付ページが用意されてい
Subsonic
Please note that most of the apps are made by third-party developers, and are not maintained by the Subsonic project. Some apps are commercial, while some are available for free. Also note that after a 30-day trial period you need to upgrade to Subsonic Premium to use the apps. By upgrading you also get other benefits. Want to make your own Subsonic app? Check out the API. Subsonic for Android Str
SambaとWebDAVをめぐる冒険（ダイジェスト版） – FLAMA技術Blog
多くの人は、「いま出来ていること」に特に問題が無ければ、「いまやっている方法でそのまま」続けていくことを望みます。 （この点については、いろいろな意味で重大な問題を含んでいるので、また改めて掘り下げたいと思います） さて、業務使用において「枯れている」ことは重要です。しかし、年月を経て、そのままの形での継続使用が不可能になってしまった技術もあるわけです。 たとえば、長いこと使ってきたファイルサーバを、容量の問題などで置き換えなければならないとします。 個人で使う場合はさまざまな選択肢がありますが、お客さんの業務環境への導入とした場合に、 ・Windowsのエクスプローラで操作する ・NASをやめて外部サーバ上に置きたい ・コピー速度の著しい低下／価格の著しい上昇は認められない というような条件を置くと、選択肢はほぼSambaかWebDAVしかないということになります。 （以下長い冒険の旅の
「SkyDrive」をWebDAV接続する方法。同期フォルダやブラウザを使わず直接アクセス | Gadget (and Sweets) | Gadget (and Sweets)
「SkyDrive」をWebDAV接続する方法。同期フォルダやブラウザを使わず直接アクセス By enigma4th 2012/10/29 現在、PC(Windows) の無料クラウドストレージとして、DropBox (約7/10GB) と SkyDrive (約20/25GB) を併用しているのですが、両方ともフォルダ同期で使っているため、ローカルストレージの容量が不足してきました。 そこで、よく使う DroBox を同期で使い、SkyDrive は普段使わないファイルの置き場所として、WebDAV で運用することにしました。 ファイルをダウンロードやアップロードするだけなら、ブラウザ経由という方法もありますが、WevDAV の場合はエクスプローラーで普通のファイルと同じように扱えて楽なので、興味がある方は試してみてください。 ちなみに、SkyDrive の WebDAV 対応は非公式
無料でWebDAVが使えるオンラインストレージ（全部で100GB以上！？）
※新しく記事を書き直しました。 昨今、無料のオンラインストレージは多数存在します。 Dropbox、SugarSync、Zumodriveあたりが有名でしょうか？ しかしサービスが多すぎて、低スペックPCでそれらのクライアントを一通り使うのはなかなか大変かもしれません。 かといってWebインターフェイスだけで使うのも、ちょっと面倒。 専用クライアントツールが無くてもOS標準機能だけで使えればいいんですが…。 そこで、無料でWebDAVに対応しているオンラインストレージについて調べてみました。 WebDAVならWindows標準機能だけで接続できますからね。 ※無料で使える容量が少ない（1GB未満）ものは取り上げていません サービス名 容量 1ファイルの 最大サイズ
クラウドストレージ「Box」を使って究極の原音再生に挑む - ただのにっき(2013-02-26)
■ クラウドストレージ「Box」を使って究極の原音再生に挑む ピュアオーディオの世界におけるストレージがPCローカルのHDD/SSDや家庭用NASを離れ、クラウドストレージ選びが主戦場になって久しい。長い海底ケーブルを経由するため深海の低温にさらされたシグナルはノイズが減って研ぎ澄まされ、明らかなダイナミックレンジの拡大が認められるためだ。 国内ではDropboxとGoogle Musicが人気を二分していたが、Google Musicはその制約が嫌われて選択肢から外れつつある状況だ。そこで今回わたしは、オルタナティブな選択肢として国内ではマイナーなストレージサービスであるBoxを試用し、その忠実な原音再生能力に驚愕したのでここに報告したい。 なぜBoxが良いのか。それはBoxがWebDAVというインタフェースを提供しているためだ。 従来のストレージサービスはいったんローカルのディスクにデ
Only if … と if only …
第十四話 Dennyは、トップレスで政治デモを繰り広げたIrma Levineの事件に、スケベ心と自分のライフワークの観点から、自分も弁護団に加えろと言い出します。 It’s got everything. Sex, politics, everything but one key ingredient, Denny Crane. I’m in. この事件には全てがある、セックス・政治、すべてだが一つ大事なものが欠けている Denny Craneだ、俺も入る。 Shirleyは何も喋らないことを条件にDennyの裁判への仲間入りを認めましたが、Dennyは報道陣を前に意気揚揚と喋る検事を見つけると自分も報道陣に喋ろうとします。ShirleyはそんなDennyの腕を掴んで一喝します。 Denny! I don’t have a tranquilizer gun so I’m going to
コミケット3日目 - みねこあ
（書き途中） 特別枠 コミケ3日目の一番最初は、いつもどおり UTUMNOさん。超絶ペースでアニパロ同人誌を量産されていて、今回いよいよ100冊目の大台にのりました。同人誌で通巻100を超えるなんて凄い！ ・・・なのですが、なぜだか知らないけれど肝心の100号だけを買いそびれるという痛恨のミス。うわぁぁぁん(T△T えっち 蜜月さんの「こいごころ」。百合えっちです 相変わらすかわいいなぁ。「新刊一部ください」が定番の、わたしのお気に入りサークルさんです。 かわいい恋愛モノと言えば花苺さん。タイトルは直球「かわいいひと」 SECOND CRYさんの LUSTKING trial。関谷あさみさんのサークルです。（大好き） 今回はコピー誌で薄いのですが、お財布にもやさしい100円でした。それにしても関谷さんの描く男の人は可愛い。 今回もおじさまに半分足をツッコミかけのお兄さんがキュートすぎて萌え
ゲーム・古本・DVD・CD・トレカ・フィギュア 通販ショップの駿河屋
【駿河屋限定版】コミック「ぼっち・ざ・ろっく！外伝 廣井きくりの深酒日記 3巻 / くみちょう」好評発売中！
ｓｍｉｌｅ ｓｍｉｌｅ ｓｍｉｌｅ - フルタ製菓株式会社 ボツ案
「フルタ製菓株式会社 ボツ案」をお読みいただいている皆様へ 平素は格別のご愛顧をいただき、誠にありがとうございます。 昨年８月から約半年にわたって連載してきました「ボツ案」ブログですが おかげさまで、多くの方にご愛読いただき、社員一同、心より感謝しております。 フルタ製菓は２０１２年に創業６０周年を迎えました。 そして、２０１３年。 世の中は、かつてないほどのスピードで、めまぐるしく変化しています。 その変化を感じとって、自らがすばやく変わっていくことが必要とされる時代です。 私たちも、お客さまに提供できる品質やサービスを常に向上するべく 日々、努力を惜しまない覚悟です。 しかし、世の中には変わらないものもあります。 それは人々の笑顔です。 お菓子を食べれば、みんな笑顔になる。 みんなが笑顔になれば、世の中に争いごとはなくなる。 そうすれば今よりも、もっと平和な世界がやってくる。 フルタ製
Rebuild: 3: MessagePack (frsyuki, kiyoto)
古橋貞之さん、kiyotoさんをゲストに迎えて MessagePack について話しました。 Show Notes MessagePack KumoFS CodeRepos msgpack issue #121 Consensus decision-making msgpack issue #128 msgpack/binarypack
アブラハム周辺を掘ってたら、違法業者がいっぱい出てきた件で - やまもといちろうBLOG（ブログ）
今回はアブラハム・プライベートバンク（「いつかはゆかし」等）がおかしいという話ではないのですが、これ関連の金融商品をがさごそと漁っておりましたところ、ハンサードやフレンズプロビデントの金融商品をマルチ式に売っている業者の名簿が出てきました。これがまた外＝外で運用しているので大脱税大会になっており、震撼しております。どうやって日本に持ち込んで所得になっているのか分からんのですが、まあ分かっちゃった以上は細大漏らさず当局に対してご報告の段取りを取りたいと思います。アブラハム以外の面白カンパニーについてはここでうっかり書いて逃げ散られてもしょっぱいですから、当局が首根っこ掴まえるまでは触れない方向で頑張って参りますので、今後ともよろしくお願い申し上げます。 ところで、アブラハムの法務担当取締役の（自粛： 2015年2月9日）に、さくじつ再びメールで質問状をお送りしておいたのですが、前回のメールで
ドラクエはなぜコマンドが多いのか - 最終防衛ライン3
ドラクエって面倒か？ ドラクエ7雑感：スマホ脳になったことを思い知らされる：村上福之の「ネットとケータイと俺様」：ITmedia オルタナティブ・ブログ フィールドを歩くのも面倒くさいとまで書かれると、散歩好きで「♪知らない街を歩いてみたい」と思っており、故にオープンワールド系で歩きまわるのも楽しい自分は「え？まじで！？」と疑問と非共感な脊髄反射をしてしまったのが、よくよく思い返してみるとドラクエ位の規模のフィールドだとオープンワールド特有の探索する楽しさは無いよなと。 ドクラエは結構面倒くさい。特にFC版では町の人に話しかけるために、わざわざコマンドメニューを呼び出し「はなす」を選択しなければならない。しらべる際もメニューを開き「しらべる」を選択し実行する必要がある。ドラクエ１にいたっては、メニューを開き、「はなす」を選択してから「きた ひがし にし みなみ」と方向を定める必要がある。誰
型を忘れる静的言語、型を覚えてる動的言語 : 404 Blog Not Found
2013年03月01日16:00 カテゴリLightweight Languages 型を忘れる静的言語、型を覚えてる動的言語 召還されたますた。 @dankogaiさんがブログで参入したら面白そう。 「変数に型がないということの利点について考える - サンプルコードによるPerl入門」 (id:perlcodesample / @perlcodesample2) d.hatena.ne.jp/perlcodesample…— r-west (@rwest2112) February 28, 2013 言語設計者たちが考えること Mastermind of Programming Federico Biancuzzi / Shane Warden 伊藤真浩 / 頃末和義 / 佐藤嘉一 / 鈴木幸敏 / 村上雅章訳 [原著:Masterminds of Programming] まず、よくあ
neco-ghc で補完時に型情報を表示できるようにした - eagletmt's blog
ghc-mod のほうに補完に使えそうな機能追加があったので久しぶりに neco-ghc を更新した https://github.com/ujihisa/neco-ghc vimrc で let g:necoghc_enable_detailed_browse = 1 とすると補完時に型情報が表示されるようになる。 ghc-mod 1.11.5 で追加された機能を使っているので、有効化するにはそれ以上のバージョンが必要。 変数だけではなく型クラスや型シノニム等にも表示される。 欠点としては、無効化したときと比べてやや初期化に時間が掛かることが挙げられる。 キャッシュされるので最初さえ我慢できれば従来通り高速に補完候補が表示される。
ユーザーの反応に「完全に狼狽した」 はてなブックマーク、リニューアルの意図と背景
「完全に狼狽（ろうばい）した」――「はてなブックマーク」（はてブ）リニューアルのディレクターを務めたはてなのディレクター・伊藤博典さんは、リニューアルに対するユーザーの反応を見た感想を率直にこう語る。 1月8日、はてなブックマークのトップページとカテゴリーページをリニューアル。アルゴリズムを刷新し、同じ記事が長く滞留しないようにしたほか、デザインも一新。ブルー一色のリスト風の記事一覧からカラフルな配色に変え、一部ページではタイルを並べたようなデザインに刷新した。 大幅なリニューアルは2008年以来、4年ぶり。思い切った刷新を評価する声がある一方、ドラスティックな変更に対する否定的な意見も殺到し、ブログ記事のブックマークには「これはひどい」タグが付き、「見づらくなった」など辛らつな声が次々に寄せられた。 4年間変化のなかったトップページをガラリと変えれば、ユーザーは驚くだろうと想定はしていた
47NEWS（よんななニュース）
８０年ぶりの「新星爆発」見逃すな！「かんむり座Ｔ星」観測できるのはいつ？ 一生に一度の機会に注目 Ｓデジオリジナル
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MSN Japan - ニュース, 天気, メール (Outlook, Hotmail), Bing検索, Skype
ggsoku.com
35歳男性です。プリキュアのダンスを踊ったら靭帯が断裂しました | 健康の悩み | 人生の悩み | ビジネスパーソンの悩みを解消 マイナビニュース Q&A
Engadget | Technology News & Reviews
vim-jp » Vimmers