山本和彦 @kazu_yamamoto .@sbwhitecap できるなら QuickCheck で、できないなら HUnit で書きます。それらをまとめるのが、test-framework パッケージです。 2011-09-14 17:16:46 shelarcy（しぇらーしぃ） @shelarcy @sbwhitecap test-framework は HUnit や QuickCheck、DocTest などで記述したテストをまとめて実行するためのツールです。だから QuickCheck が分からないのであれば、まずはそこから勉強する必要がありますね。 2011-09-14 23:50:08

Haskell開発に関係するツールをとりとめもなく列挙してみます。 エディタ/IDE 僕は、Emacs と haskell-mode と ghc-mod を組み合わせて使っています。haskell-mode は、行頭揃えの機能がしょぼいので、作り直したいと思っています。 IDE のバックエンドとしては、scionがありますが、使ったことがないので説明できません。(僕は ghc-mod で十分だと思っているので。) Leksah とか yi とかも聞きますが、使ったことがないので知りません。(いや、yi はちょっと使ったことがありますけど。) 興味のある人は自分で調べて下さい。 マニュアル 関数のマニュアルが読みたくなったら、GHCについてくるモジュールの一覧とhackageDBから探して下さい。ghc-mod を使っていれば、一発でブラウザに表示できます。 探すのが面倒なら、google

部屋を明るくして画面から離れて、正気を保ちながらプレイしてね！ 本日ご紹介しますのは、アルパカを育成するという名目で狂気と非日常、そして圧倒的シュールレアリズムをたんのうできるゲーム『アルパカにいさん』です。 すでにトップ画像の右上から不穏な空気が漂いまくってますが、だいたいこんな感じのゲームですので覚悟を決めていきましょう。 早速ゲーム開始。青空の下、かわいらしいアルパカたちが自由に歩いています。 なんともおだやかな雰囲気ですが、見ていても何も起きません。とりあえず適当なアルパカをタッチしてみました。 (ﾟДﾟ)!? 一匹のアルパカが、他のアルパカをヘッドバッドで張り倒しました。歩いているアルパカをタッチすると、このアルパカが全部高速で張り倒していきます。なにこれ三○無双？ 何が起きたのかよくわからないまま、今度は倒れているアルパカにタッチしてみました。 食った。 いや、正確には「吸収」

マンガ教室ではストーリーやキャラクターの作り方、コマ割り、つけペンやCLIP STUDIOを使った漫画の描き方が学べます。

珍しく二連チャンで、なぜかニコニコゲームの企画を考えてみる。 いや、jgforceという俺がやれる企画を考えてもいいんだけど、理想はニコニコゲームだと思っているので、じゃあ理想系を最初に考えるところから行きましょうという話。 ニコニコを取り巻く環境について 最近疎いんだけど、ニコニコの機能をざっとまとめてみる。 ようまあこんなに作ったもんだ。 なんか昔遊園地ってのもあった気がするけど、、アプリに変わったのかな？しっかり追いかけてないからようわからんｗ ガジェットとか俺にはよくわからんのもあるけど、基本的に無駄機能ほとんど無いのがいいね。 ちなみに超会議とかはサイト機能から若干外れるので除外。あとニコニコ直販とか、ブログとか、サブドメイン振られているけどサイドメニューのトップから若干外れる系は除外。 ニコニコ動画の収益化のためにはニコニコ市場やニコニコチャンネルも重要だろうけど、まあニコニコ

概要 2013/3/26にTwitterで縦書の俳句を投稿出来るアプリ「俳句ったー」をリリースしました。 開発のきっかけはTwitterの公式ウェブサイトが改行コードに対応しこれはネタアプリチャンスだと思い作りました。 3/14(木) 公式ウェブサイトが改行コードに対応 3/15(金) 帰りがけに「ねぇねぇ、@yoshiakistくん、デザインやらない？」と話す 3/16(土) @yoshiakist「デザイン出来ましたよw」 3/17(日) 寝坊して昼くらいからコーディング 翌0:30 Submit!! つれー実質8時間くらいしかコーディングしてないわー してないわー という格段に開発速度を早めているXCodeの機能を紹介します。 Storyboard メインのStoryboardです。主要な画面遷移になります。 図のように、ViewController同士の画面遷移と画像設定などの各V

道を聞く、目が合う、自転車で追い抜く……ごく普通の行動が通報され、警察の安全情報に掲載されてしまう事態が昨今、多発している。なぜそんなことで通報するのか。片っ端から通報する人々の異常な論理とは ◆110番通報の8割が「くだらない内容」　通報する側の理屈に迫る 主婦の片山洋子さん（仮名）は、こう話す。 「娘が帰宅途中、ゲーセンの前でたむろしていたガラの悪い男たちが、娘を見ながらコソコソと笑いあっていたそうです。目をつけられて、後日襲われでもしたら……と思って通報しました」 凶悪事件が多発している昨今、子供が被害に遭う前に犯罪の芽を潰しておきたい親心は理解できる。だが、「毎日似たような服を着て同じ時間にきっかり帰ってくる30代後半ぐらいの隣の男性。しかし、ある日いつもの時間を大幅に過ぎて帰ってきたので通報しました」（大橋信吾さん・仮名・44歳）という言い分は謎である。 「だって、いつもと違うの

はじめに ちょぼらうにょぽみさん原作のあいまいみーは、理屈を飛び越えるアニメだ。 前後のつながり、キャラクターの行動動機といった 整合性や辻褄合わせは、この作品に限っては無意味であり 全ては面白さに奉仕するためにキャラクターは存在し行動する。 最終回では、こうしたあいまいみーイズムが爆発。 そこで最終回を通して、理屈を超え、生死を超えたあいまいみーの魅力について語る。 絵柄を合わせない 今回はミイが、三途の川を渡って死んでしまうかもしれないという所からスタート。 まず、上記の二つの絵を見比べると、ミイの絵柄がまったく合っていない。 髪の描き方、影のつけ方。おそらくカット単位で雰囲気に合う絵柄を選択したからだろう。 また、二つの絵はいまざきいつきさんが作画しているのにも関わらず、この絵柄の違い。 つまり絵柄の統一感は、あいまいみーでは意味を成さない。もしくは優先度が低い。 一つのキャラに対し

ニュージーランドを拠点として活躍しているアーティストのアンドリュー・ランカスターさんは、道路で轢かれてしまった動物たちを拾ってきては第二の人生を与えてあげるという剥製彫刻の製作を行っている。だがしかし、どんなマッドサイエンティストな血がうずいてしまったのか、ただ単に剥製化するだけでなく、他の動物や、はたまた人形までをも組み込んでキメラ化してしまうクセがあるようだ。 これらの動物は全て道路で轢かれていたもの。そして仕上がった新たなる生命体はハイブリッドなキメラたち。そのまま轢かれて大地の肥やしとなるのと、キメラ化するのとどっちがよかったのかは、轢かれた動物に聞いてみないことにはわからない。 ■1. この画像を大きなサイズで見る ■2. この画像を大きなサイズで見る ■3. この画像を大きなサイズで見る ■4. この画像を大きなサイズで見る ■5. この画像を大きなサイズで見る ■6. この画

go-sqlite3を使ってCloud Spannerエミュレーターを作ってみた / Cloud Spanner emulator with go-sqlite3

忙しい人用まとめのまとめ VOICE LOVERと言うサークルが.... 声優に対し上から目線でいきなりタメ語＋呼び捨て 他の声優の報酬を声優に許可無くバラし 「○○はいくらだからお前は○円払う価値もない」 アドリブ部分は何分だろうが０円 演技指導を有料でやってやる発言 演技指導と称してやたらと声優と会いたがる 声優をランク分け 声優のツイッターを監視し締切り内でも遊んでいようものなら「遊んでる暇あったら仕事しろ」と 加えて、締め切り内に何度もツイッターのDMで音声催促 告発された後、心配しているユーザーに対して「説明も謝罪もしない」と開き直り発言 断ったはずの台本を無理にやらせようとしたパワハラ 声優を性的対象にした診断メーカーを本人の許可なく作る 騒ぎが拡大してからツイッター名から「まっくす(暁詞音) 」の表記を消す 騒ぎが続く中、18日後にようやくツイッターで謝罪をつぶやく 続けざま

強い海老リンク単語 705件 ツヨイエビリンク 2.4千文字の記事 68 0pt ほめる 掲示板へ 記事編集 強い海老の一例その他強い海老関連動画関連項目掲示板強い海老リンクとは、強い海老が登場する動画に付けられるタグである。 強い海老の一例 カーラボス（ファイナルファンタジー5） 得意技は相手のHPを一桁にする「テールスクリュー」。ｶﾗｺﾛｶﾗｺﾛ 倒された後も道連れを求める粘着質なエビ。 クレイクロウ（ファイナルファンタジー5） クレイクロウがマジになればオメガや神竜など瞬殺 ボストン（ロマンシングサガ３） ハサミによる体術と魔力21の玄武術を使いこなす、頼りになるエビ。 ラスボス戦前の台詞は妙にカッコイイ。 えびボクサー（映画） イギリス出身のエビ。ボクサーとして育てられる。 本当はシャコ。シャコは海老とは全く別の種類である。 ガンダムエピオン（新機動戦記ガンダムW） 新機動戦記ガン

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

Software Design誌、WEB+DB PRESS誌は、とりわけネットにどっぷりの層にも支持されており、雑誌不況の中でも新鮮さを維持している気鋭の雑誌といえるのではないでしょうか。（続きは[Read More]から） 【速報】MacBook Proにコピーしようとしたら MacBook Proにコピーしようとしたら、DVDドライブ無かった……。 容量は4.75GB どうにかドライブを都合してコピー。DRM Sucks! 12年分28,000ページにおよぶバックナンバーですが、全体で4.75GBとコンパクト。 PDF形式／DRM無し／本文はテキスト／画像は荒いが小ファイルサイズ 1号1ファイルのPDF形式で収録されており、画像こそ荒いものの、最初の号（2001年1月号）から本文はテキストになっていて検索が可能です。1ファイル10MB〜85MBとサイズが小さく仕上がっており、扱いやすい

ChefやPuppetなど、サーバー構築をプログラムで作成する時代になってきた。 しかも、サーバー構築を構成管理とTDDで作業するのが最近の流れのようだ。 クラウドが当たり前の時代になった今、もう一つの技術革新が生まれているように思う。 クラウドについてはまだ理解不十分だけれども、気になる記事をメモ。 【元ネタ】 Chefのテストスイーツを色々試してみた （1） - カイワレの大冒険 Chefのテストスイーツを色々試してみた （2） - カイワレの大冒険 Chefサーバを動かすまでの方法をまとめてみた（自動化のススメ） - カイワレの大冒険 2008年出版された「ThoughtWorksアンソロジー ―アジャイルとオブジェクト指向によるソフトウェアイノベーション」では、ラストマイル問題が提示されていた。 ラストマイル問題とは、いくらソフトウェアを作っても、本番環境へリリース＆稼働確認するの

セブンプレミアムの冷凍つけ麺とは？ 冷凍つけ麺は、コンビニのセブンで売られている「セブンプレミアム」のラインナップです。 ですので、セブンイレブン以外にもイトーヨーカドーでも売られているそうです。 最近、この冷凍つけ麺が「そこら辺のラーメン屋より美味い」と言われました。 さすがに話に尾ひれがついているだろうと疑い、実際に試してみようと思いました。 しかし、いざ買おうとすると近所のセブンでは、なんと2軒とも売り切れでした。偶然かもしれませんが。 手に入らないとなると、逆に欲しくなるのが人の性。何とか3軒目のセブンで購入できました。 冷凍つけ麺食べてみた これが冷凍つけ麺です。冷凍食品コーナーには普通のラーメンもあるのでお間違えなく。 中身はシンプルに麺とスープだけ。麺は300gあるので結構重いです。 凍った麺を袋ごと電子レンジで温めます。 600wで5分30秒でした。いい感じに解凍されました

前回、やめないことが大切だ！なんて大それた締めにしてしまったせいで、すっかりブログを書く手が止まってしまっていたのでした。 こう見えてプレッシャーには滅法弱いほうで…、などと言うと親しい友人からは苦笑混じりに「知ってる…」と言われる程度に小心者なのです。 履歴書など失敗できない書類を書いたりするのがとても苦手で、いつも大量に買い込んでしまうタイプ。 「それに比べればブログなんて」という声もあるでしょうが、なんだか変に自分で自分のハードルをあげてしまったせいで、こんなことになっていたのでした。 さて、そんな風に私が悶々としている中、子供のお友達家族が我が家に遊びにきてくれたのでした。 気持ちを切り替え、関西仕込みのテクニックで私がタコ焼きを作り、次から次へと胃袋に消えていくというひと時を過ごした後は、お決まりの子供達が精一杯遊ぶ時間。 そんな子供達を眺めながら、こんな日だけは許される明るいう

この着想はなかった…錆びついた消火栓を「惑星」に変身させたアートいろいろ とある外国の男性が、錆びついて塗装のはげた消火栓を見て、ピンときたそうです。「惑星に似てるかも……」と。 さっそく撮影し、惑星風に色を付けた写真を海外掲示板に投稿したところ、絶大な人気を集めているようです。 写真をご覧ください。 1. 地球の写真だと言われても、すぐには気付けそうにないクオリティ。 2. 土星のような輪をつけたもの。 3. 完璧な惑星になってますよね。 4. 南半球に陸地の多い星。 5. 白いと衛星風に。 6. 水の惑星。 7. 大半が陸地の星。 8. 金属の光沢が、そのまま海の光に。 加工してあるとはいえ、原型が消火栓だなんてとても思えませんよね。 このクオリティにファンがたくさんいるといい、ポスターやカレンダー制作の計画まで立っているとのことです。 着眼点が見事というしかない天体アートです。 Ru

日本に住んでいると、あらゆる物・サービスの品質が高いレベルで保証されていることが自然に期待できる。 そんな日本にいて、唯一*1品質に信頼がおけないものがある。 それが「翻訳」。 高校生ぐらいのころ、英語の本と日本語訳を読むようになって、そのことに気がついた。 最初の経験は「バック・トゥ・ザ・フューチャー」のノベライズ。 バック・トゥ・ザ・フューチャー (新潮文庫)posted with amazlet at 13.03.30ジョージ・ガイプ 新潮社 売り上げランキング: 243,145 Amazon.co.jpで詳細を見る 最初に英語版を読んでから、この日本語版を読んだ。 翻訳は全体として非常に読みやすい。 だが、ところどころ明らかに英語と違い、そのために意味が通らなくなっているところがある。 原文と突き合わせてみると、明らかな誤訳だ。 本というものに対して、ある種の権威を感じていた自分に

You probably remember that back in November, OpenAI’s board fired the company’s co-founder and CEO Sam Altman. What followed was this incredibly complicated power struggle…

ドラクエ世界の形 パラレルワールドと被覆 被覆変換と被覆空間の住人たち 被覆のガロア対応 体のガロア理論 普遍被覆と基本群 文献 ヒルベルトの類体論 目次 ドラクエ世界の形 パラレルワールドと被覆 被覆変換と被覆空間の住人たち 被覆のガロア対応 体のガロア理論 普遍被覆と基本群 文献 ヒルベルトの類体論 ドラクエ世界の形 ドラクエ(に限らず色々なコンピュータゲーム)に関する定番の疑問(ツッコミ)のひとつに「あの世界はいったいどんな形をしているのか」というのがある。ドラクエやそのほか多くのゲームの世界では正方形の世界の北と南、東と西がつながっている。 しかし地球のような球形の世界はこのようにはなっていない。 おそらくこの疑問に対する標準の答えは 「あれは球形の世界ではなくドーナツ形(トーラス)だ」 というものだろう。 またそれと同じくらいありそうな答え方は「あの世界は球面ではなく真っ平らで、

即戦力で話題といえばこの人。 世界一即戦力な男・菊池良から新卒採用担当のキミへ 何がどう即戦力なのかさっぱりわからない彼にオファーは殺到したそうですが、ここもなにがなんだかわからないことで有名な会社、LIG社に採用された模様です。 そんな世界一即戦力な僕が、2月に公開した僕の就職活動サイトなのですが、おかげさまで沢山の反応をいただき、その中でも特に熱心に僕の事を誘ってくれた株式会社LIGさんに可能性を感じ、この度、インターン生として入社する事になりました 世界一即戦力な男、菊池良が株式会社LIGに入社する事になりました。 | 東京上野のWeb制作会社LIG うん、即戦力だね（震え声） 真面目な話をすると、即戦力ってのは業界にもよるけどすでにその仕事に必要な能力を持っていて、かつ、「自分で成長できる」人材のことかなって僕は思いますね。なぜ成長できることが大事なのか。企業での研修やら教育やらで