スマブラ拳!!で曲聞けます | ゴラトモ
ペンの先にいる 豆粒みたいな 女の子が アシュリーです スマブラ拳!!にて本日、 私編曲のアシュリーのテーマが公開になりました。 良かったら試聴してください。 海外版もかっこいいのでリンクたどって聞いてくださいね。 スマブラの仕事はナイツの仕事とかぶっていて、 お引き受けしていいものか迷ったのです。 しかも私のコンディションがすごく悪くて ナイツで作るインスト曲に悩んでいて、 かなり自信喪失してて、 インストやだインストバカ！って 吠えてた頃だったんです。 そこへきたこのスマブラの仕事。 なんと！歌もののご用意もあります、とのこと。 好きなの選んでください、とのこと。 砂漠で死にかかっている時に出会った 食べ放題バイキング、みたいなものでした。 さっそく「歌もの！歌ものやりたいです！」 と任天堂へガツガツでかけてゆきました。 インストなんて見るのも嫌。 今の私は歌ものじゃなきゃやんないよ。
Hack · Programming Productivity Without Breaking Things
HackHack is an object-oriented programming language for building reliable websites at epic scale Hack reconciles the fast development cycle of a dynamically typed language with the discipline provided by static typing, while adding many features commonly found in other modern programming languages. Hack provides instantaneous type checking by incrementally checking your files as you edit them. It
Hack で JSON返すシンプルなマイクロWebアプリケーションフレームワーク書いてみた - ぷぎがぽぎ
[追記] PHPカンファレンスのUstのリンク追加 [追加] Hackの面白そうなところを追記 [追記] RouterをHackで書きなおした続編はこちら http://d.hatena.ne.jp/brtRiver/20141019/1413738340 久しぶりすぎるブログ更新ですね。。 Hack_(プログラミング言語) Hackは、Facebookにより開発されたプログラミング言語である。オープンソースとして公開されており、同社が開発したPHP実行環境のHipHop仮想マシン (HHVM) で動作する 前から気にはなっていましたが書いたことはなかった状態でした。 今年のPHPカンファレンスのust (HHVM + Hack == PHP++)を見ていて、Hack欲が高くなり触ってみないとわからないということで JSONを返すだけのいわゆるマイクロフレームワーク(Haku)を書いてみま
株式会社spice life、「花粉のない沖縄で働きたい」社員の一言から新制度を導入
株式会社spice life（本社：東京都渋谷区、代表取締役：吉川保男）は、花粉症に悩まされている社員の一言をきっかけに、全社員を対象とした独自の制度、リモートライフを導入します。 株式会社spice life（本社：東京都渋谷区、代表取締役：吉川保男）は、花粉症に悩まされている社員の一言をきっかけに、全社員を対象とした独自の制度、リモートライフを導入します。この制度により、より効率良く、生産性を高めながら仕事が出来るようになります。花粉症の社員も、この制度を活用することで、花粉が飛ぶ時期に花粉のない場所でリモート勤務が可能になります。 【ここがPOINT!】 ・1人の花粉症の社員の声が発端となって新設した制度 ・花粉症の社員だけでなく全社員が対象 ・仕事のパフォーマンスを1％も下げる事なく効率よく勤務ができる環境を提供 現在、日本の花粉症総人口は2,000万人以上といわれており、症状が軽
ことりちゃん誕生物語 またはbleis氏は如何にしてことりちゃんを愛するようになったのか - みずぴー日記
この記事はLL/ML Advent Calendarの4日目です。 LL/ML Advent Calendarの首謀者のひとりである@bleisさんが、最近スライドに貼りまくっていることりちゃんがどのように誕生したかについて書いてみようと思います。 ※ 記憶に基づくものなので、一部事実と異なる可能性があります。 その前に ことりちゃんの画像については、自由に転載・改変していただいてかまいません。 またオリジナルサイズの画像は以下にあります。 http://f.hatena.ne.jp/mzp/20121206231515 http://f.hatena.ne.jp/mzp/20121206231514 はじまり そもそもの発端は、@dico_lequeさんがモナド/do記法の薄い本を書いていることまでさかのぼります。 mzp「内容はでこちゃんだから問題ないとしても、たぶん地味な内容になるの
萌えキャラを作ってみたよ: Making of じぇねらるたん - みずぴー日記
じぇねらるたんシールを作って、函数プログラミングの集いで配ってきました。 その後、住井先生(@esumii)の手によってICFPでばらまかれて、あっさり世界デビューをしたので、いったん経緯についてまとめてみたいと思います。 みんなもかわいいキャラクターを作ると、たのしくていいと思いますよ。 依頼概要 画像サイズ: 620×850px 依頼から初回納品: 3日間 費用: 5000円 著作権はこちらに譲渡 なお完成版は https://github.com/yoshihiro503/generaltan からダウンロードして自由に利用できます。 発端 @yoshihiro503さんが「ProofGeneralのキャラクターをかわいくしよう」と唐突に言い出しました。暑い夏の日のことでした。 そして、イラスト依頼サイトのファースト・デザインにて次のような内容で見積募集を行いました。 ProofCa
誰も書かないCoq入門以前の話 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「WindowsへのCoqのインストール」： 事情があって、AgdaかCoqを触ってみようか、と。 事情というのは、個々の命題の証明（確認）は割と簡単そうだが、命題がイッパイあるのでウンザリな状況のことです。家計簿の計算が筆算だと面倒だから電卓を使いたい、という状況と同様です。 それでCoqのインストールは済んだのですが、処理系の使い方が分からない。個々の操作は覚えていけばいいのでしょうが、そもそもCoq処理系が何をするものなのか？ が理解できないのです。Web上にCoqの解説は幾つもあるのですが、「いやいや、そうじゃなくて、それ以前のことがサッパリわからんのですけど」という感じ。スタートラインに立てない。 それで、「Coqの解説」じゃなくて「Coqの仕様」を読んだほうがいいのかも、と https://coq.inria.fr/distrib/current/refman/ （リファレンス
檜山正幸のキマイラ飼育記 (はてなBlog)
2023-10-25 圏スタンピング・モナドの代数は前層／余前層 雑記／備忘 「左加群は前層、右加群は余前層、双加群はプロ関手」の続きです。余前層としての右加群（または前層としての左加群）が、ファミリー〈集合族〉の圏上のモナドのアイレンベルク／ムーア代数になってるよ、という話です。$`\newcommand{\mrm}[1]{\mathrm{#1}}… 2023-10-24 続・有向コンテナと多項式コモナド： 錯綜整理 雑記／備忘 「有向コンテナと多項式コモナド」にて： モノイド類似構造である有向コンテナ〈圏〉構造が、多項式自己関手を台とするコモノイド構造として反映されるわけです。面白いですね。 面白そうなので、アーマン／ウウスタル〈Danel Ahman, Tarmo Uustalu〉以外の… 2023-10-23 Diag構成の変種とその書き方 雑記／備忘 ある文脈では、図式と関手は同
Stack Overflowへようこそ - Stack Overflow
Hi English-language readers! This blog post is not for you; perhaps you'd like a hat instead? No? Well, when last we spoke of creating non-English versions of Stack Overflow, some of you were certain we should've gone the easy route and just leveraged a machine translation service instead of creating real sites for real people to use. I humbly invite you to read the rest of this post using the mec
Can't We All be Reasonable and Speak English? - Stack Overflow
Capture, share, & collaborate on knowledge internally. Two weeks ago, we announced the public launch of Stack Overflow in Portuguese, our first-ever non-English Stack Overflow community. Which raises one very obvious question: Have we lost our minds? Wasn't the whole point of Stack Overflow to aggregate as much developer knowledge as possible in one place? To get all the potential solutions togeth
ブランド展開戦略: 「日本語版」と言わない
これは当サイトのタイトルから派生した質問です。 当サイトタイトルのOP (@jmacさん)が例として挙げた 日本語でのStack Overflow Stack Overflowの日本語版 で気になったので、ここで改めて討議したいと思います。 「日本語版」と言ってしまっているのはジョエル流に言うと、SE社内の社内構造の leaky abstraction です。Apple とか Amazon が日本に展開するときに、日本人が欲しいのは「Apple」や 「Amazon」 であって、それがたまたま英語版をローカライズしたもとであることは偶然であって、あたかもそれが最初っから日本人向けに日本語として存在していたかのようなサービスを期待します。 「Apple 日本人向け」とはもしかしたら会社名とか内部構造ではそうなってるかもしれませんが、外向けには「Apple」と言い続けます。 英語版のサイトへの参
インターノット崩壊論者の独り言 - 崩壊するインターノットから青少年を守りましょう - 子供たちにとって大切なことは何でしょう
EPIC2014 Google Public DNS (8.8.8.8, 8.8.4.4) および Cloudflare (1.1.1.1, 1.0.0.1) 経由では本サイトにアクセスできないよう措置させて頂いております。 お世話になっている知人からAdvent Calendar で「子供」×「ネット」というお題への参加を誘われたので、つらつらと子供たちにとって大切なことを考えてみました。 まずは、子供たちにタブレットやネットを与えることが必要だと言っている人たちが何を望んでそう考えているのかを推察してみました。 Word, Excel, Google Apps などを使いこなせるようになること? 子供が大きくなったときそれらのソフトやサービスは今のままあるでしょうか? 怪しいサイトで痛い目にあわないようになること? 親たるあなたは怪しいサイトを見分けられますか? ネットに嵌って時間を浪
任天堂なんだから、DSで閲覧可能なサイトは安全なんですよね？という質問を受けた。 - 家庭内インフラ管理者の独り言（はなずきんの日記っぽいの）
2/20に兵庫県の某小学校PTA交流会にお呼びいただき子供を取り巻くインターネットとその問題点〜親は何をすべきなのか〜というお話をさせていただきました。 子供を取り巻くインターネットとその問題点 via kwout 以前、別の小学校でお話させていただいた際には、 ・ウィルス対策ソフトの更新って必要なの？1年ぐらい「更新しなさい」という表示が出るんだけど、あれを消す方法ないの？ ・子供がよくゲーム機もって出かけるんだけど、ゲーム機でネットできるの？ 等と質問を受けましたが、今回受けたのは、 ・ゲーム機でネットできるって知りませんでした！でも、任天堂なんだから、DSで閲覧可能なサイトは安全なんですよね？ ・子供ではなく口コミサイトをよく見るんだけど、口コミサイトに書かれているリンク先が正しいリンク先か知る方法ある？ の2点。 任天堂信頼されているなぁと、Twitterでこの話を書いた時に言われ
IT勉強会カレンダーの情報をいただいての定期的な情報更新やめます - 家庭内インフラ管理者の独り言（はなずきんの日記っぽいの）
昨年末から、どこかで宣言しないとまずいなぁと思いながら多忙にかまけて宣言していなかったので、宣言することに。 思えば、2008年4月22日につぶやいたTwitterが最初でした。 It勉強会カレンダーの作り方なんてのも書きましたね。 その後、血栓性血小板減少性紫斑病という病名でした - 家庭内インフラ管理者の独り言（はなずきんの日記っぽいの）を経て2人目の子供を育てているうちに、私自身の活動の興味がIT系の勉強会全般から情報モラル系の勉強会にシフトしていたのもあります。 仕事から帰宅してからの私の中心が、2010年に授かった子供になったというのもあります。 島根富士通のノートPC組み立て教室に保護者として参加してきた - 家庭内インフラ管理者の独り言（はなずきんの日記っぽいの）で小学生だった長男も思春期に差し掛かり、彼との時間をより大切に持ちたいということもありました。 hanazukin
ANIMEX1200
シリーズ累計30万枚を超える「ANIMEX」シリーズが約8年振りに復活! コロムビアが誇るアニメ、特撮サウンドトラックの名盤を リーズナブルな価格で再発する「ANIMEX1200」シリーズ 今回は1990年代を中心に セーラームーン、スーパー戦隊シリーズ、 仮面ライダークウガ、ゾイドをはじめとして、 名盤・貴重盤30タイトルをラインナップ! デジタルリマスタリング 完全生産限定盤 コロムビア発売のキャラクター・アルバムのトレード・マーク[ANIMEX]から産まれた名盤の数々を、限定でリーズナブルな価格によってお届けする[ANIMEX1200シリーズ]。LPレコードとして発売された収録内容と同一での初CD化作品も、多数ラインナップしていきます。 ※低価格簡易仕様商品のため、オリジナル盤の解説書は掲載されておりません。ご了承の上、ご購入下さいますようお願い申し上げます。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.gehirn.jp/dns.html
Amazon.co.jp: スタジオジブリ「高畑勲」サントラBOX: V.A: ミュージック
