最近 Types and Programming Languages を読んでいて、はじめは我慢していたものの、やはりラムダ式の簡約をコンピュータで確認したい気持ちが高まってきたので、ブラウザで動くものを書いてみた。この本には OCaml による実装の章がときどき挟まれるので、演習の一環ともいえる。 Lambda Calculator "(λx.λy.x y)(λz.z)" といったラムダ式を入力して送信すると（λ は \ で代用可能）、解析された項が出力される。その後1ステップずつ簡約して、項が評価されていく過程を眺められる。評価戦略は TAPL にしたがって call-by-value と call-by-name を提供してるつもりです。毎回どのサブ項が評価されたのかがハイライトされるので、実用的。 同じ項を何度も入力するのが辛いので文字列マクロを導入してあり、"$omega" など

GitHubでのリリース 前回、GitHubのRelease機能ついて書きましたが、これはリリースする側の自動化等についてでした。 git tagとGitHub ReleasesとCHANGELOG.mdの自動化について | Web Scratch 今度は、いわゆるライブラリユーザーだったりソフトウェアの利用者側から、 GitHubでリリースされるものをどう追っていくかについて書いていきたいと思います。 自分は、JSer.infoというJavaScriptの情報を見ていくサイトをやっているので、 JavaScriptのライブラリ等のリリース情報をどう追っていくかが中心になりますが、基本的にGitHubでリリースされてるならやり方は大きな違いはありません。 基本的には以下に色々書いていた内容のGitHubに関してをまとめた感じの記事となっています。 最近のJavaScript情報の探し方 ·

2017/07/06にビースラッシュ様の設計セミナーで発表したBridgePointの紹介です。モデリングについても書いています。

日本マイクロソフト（MS）が、法人用統合オフィスソフト「JUST Office」を提供するジャストシステムに対し、Microsoft Officeのリボンインタフェース（コマンドを一連のタブに整理して表示するユーザーインタフェース）に類似した同ソフトのUI（ユーザーインタフェース）がマイクロソフトの権利を侵害しているとして、一部ソフトの販売差し止めを求める通知書を2014年7月上旬に送付していたことが分かった。 日本MSは約1年前の2013年6月19日に、リボンインタフェース類似のUIを採用するジャストシステムの製品について、不正競争防止法に抵触する可能性を問う質問書を送付。そして今回、日本MSは2014年7月11日に、代理人の弁護士を通じ、類似UIを採用する製品の販売差し止めを求める通知書を内容証明郵便で送付した。通知書で日本MSは、リボンインタフェースへの対応をうたうジャストシステムの

« C++ の JSON ライブラリ json11 は initializer_list が綺麗。 | Main | 「便利」と「感極まってきました」だけでプログラムが書ける日本語プログラミング言語「うじひさ」を作った。 » ShellScript - jq、xmllintコマンドさようなら。俺はパイプが好きだから - Qiita UNIX哲学の一つとしてよく引用されるマイク・ガンカーズの教義に 1.小さいものは美しい。 2.1つのプログラムには1つのことをうまくやらせよ。 というのがあるが、まずこれができていない http://qiita.com/richmikan@github/items/e051b5d882c3dd2a39c6 昔の UNIX で扱っていたデータはだいたい行指向でした。そして UNIX は行指向データを扱う為の OS と言っても過言ではありませんでした。 しかし J

ソフトウェア開発プロジェクトの共有Webサービス「GitHub（ギットハブ）」を「日本語で」分かりやすく説明するシリーズ、今回は「asana」や「Travis」などの連携サービスを紹介します。

処理能力の高さなどを理由に、近年、大規模サイトを中心に急速にシェアを拡大しているWebサーバー「Nginx」について紹介します。連載第2回では、インストール方法と基本的な設定内容を解説します。 連載目次 Nginxのインストール手段 Nginxをインストールする方法は主に2通りあります。ソースファイルをビルドする方法とバイナリパッケージを利用する方法です。 ソースファイルを使ってインストールすると、無駄なモジュールを省いてバイナリを最適化できたり、インストールパスや設定ファイルのパスをカスタマイズできたりしますが、開発環境を用意する必要があります。 バイナリパッケージを使えばインストールやアップデートが手軽に実行でき、ディストリビューションのパッケージツールで一元管理できますが、バイナリの最適化やインストールパスのカスタマイズはできません。 用途に応じた適切なインストール方法については表1

カヤックは今後、積極的にGo言語を推進していくことになりました。7月末までのGo言語での実績一覧です。 https://github.com/kayac/alphawing https://github.com/kayac/parallel-benchmark https://github.com/acidlemon/go-dumper https://github.com/fujiwara/zabbix-aggregate-agent https://github.com/fujiwara/go-zabbix-get https://github.com/fujiwara/go-redis-setlock https://github.com/shogo82148/androidbinary https://github.com/mix3/go-irc https://github.co

フロントエンドのパラダイムを参考にバックエンド開発を再考する / TypeScript による GraphQL バックエンド開発

アメリカでもロングセラー、日本でも発売後すぐに増刷を重ねる勢いで話題となっている『米海軍で屈指の潜水艦艦長による「最強組織」の作り方』の著者に、新しい組織のあり方を聞いた。今回はその続編である(前編はこちらから→「なぜ軍隊なのに､命令なしで勝てるのか」)。 たった1年でリーグトップの成績をあげた野球チーム 情報のあるところに「権限を下ろして」成功した例として、もうひとつ、ある野球チームの話をご紹介しましょう。 2013年、ケンタッキー大学の野球チームの打率は、所属するリーグで最低の記録となりました。2014年に入ってからもひどいスランプから抜け出せずにいて、バッティングコーチのブライアン・グリーンは、選手との接し方を変えようと決意します。 それまでは、ああしろ、こうしろと選手に命じていたのですが、それをやめて、バッターボックスにたったときにどうするのかを、選手のほうから話すように促したので

常識を疑わずに、常識的な正義を振りかざして自分は正しいんだって信じている人が私の周りに何人かいる。 例えば出生前検査と中絶について。 私は検査後に中絶をすることを選んだ人も、中絶をしないことを選んだ人も、そもそも検査をしなかった人も、それぞれの理由に納得できる。 だから、どうするのが理にかなっているのか、倫理的に問題がないか、考える。 それって普通の事だと思ってた。 どうして人を殺してはいけないのか？という命題もそう。 でも、その人はそんなこと考える事無く 常識的に刷り込まれた常識的な判断にそって判断してるだけのように見える。 私が「出生前検査で染色体異常が見つかった場合、中絶する人の気持ちもわかる。倫理的にどうしても納得出来ないけど、それも選択肢のひとつなのかなぁ」と言うと その人は「あんたばかじゃないの、そんなの人殺しなんだからだめに決まってるじゃない」って私に言いながら、軽蔑の表情を

日本一、休みが多い会社 タイムカードなし、ホウレンソウなし、制服なし 発言をまとめました「創業以来赤字なし」 「未来工業」創業者の山田昭男さんが亡くなりました。 ずば抜けたユニーク経営で知られ、多数のメディアに出演。相談役に退いてからも社員に慕われました。 かなり長文になりますが、その経営術やエピソード、発言をまとめました。

CATK http://catk.de/ #513baa #6445e0 Frank Chimero http://www.frankchimero.com/ #00deb7 #5fe2ff #6144b0 #ff4a5d #fff3cd Prospek https://prospek.ca/ #46b085 Mixd http://www.mixd.co.uk/ #1c4bbe Flavor http://www.madebyflavor.com/ #f84c74 #9f6cc8 #4d9ff5 #4bdcb5 Build in Amsterdam http://www.buildinamsterdam.com/ #79a596 #222327 Socialist http://www.sociali.st/ #f53e2e #0b0b0b Square https://s

あなたが生まれていろいろ変化がありました。自分の保険を見なおしたのもそのひとつです。お父さんは図書館で本を読みまくって勉強したのですが、せっかく得た知識なのでわかったことや考えたことをまとめてみます。 これまでの保険はボッタクリ まずは、お父さんの入っている保険の内容を確認しました。それは特約がたくさんついて契約がわかりにくいものでした。自分でわからないものにお金を払うのは変ですよね。しかし、当時は「社会人になったのだから」「これからに備えて」という聞こえのいい言葉にのせられていました。 また、お父さんの保険は、お父さんのお母さん（あなたのおばあちゃん）の友人からおすすめされて入った保険でした。そのまま引き継ぐのではなく、どこかのタイミングで今の自分にこの保険が必要なのかを考えるべきでした。 さらに、現在の値段が高いのか安いのかがわかっていませんでした。今だとネットで気軽に試算でき、比べて

「すき家」の労働環境改善に関する第三者委員会（委員長・久保利英明弁護士）は7月31日、調査報告書を、すき家を経営するゼンショー側に手渡した。 報告書は、社員へのヒアリング・現場スタッフへのアンケートなどに基づいて、「すき家の運営は、法令違反であることはもとより、社員の生命、身体、精神に危険を及ぼす重大な状況に陥っていた」と認定。「過重労働問題等に対する“麻痺”が社内で蔓延し、『業界・社内の常識』が『社会の非常識』であることについての認識が全社的に欠如していた」と、経営側の認識不足を厳しく指摘した。 報告書はさらに踏み込み、「『昼夜を厭わず、生活のすべてを捧げて働き、生き残った者が経営幹部になる』というビジネスモデルが、その限界に達し、壁にぶつかったもの」と言及。経営層の意識改革を迫った。 ●「ワンオペ廃止」も提言 「すき家」は、深夜業務を一人でこなす「ワンオペ」がネットで有名になり

The is the 4G for Gamer onesie from Japan’s Bauhutte. It has hoodie holes for headphones and finger holes for controller and mouse use. What about if you need to go to the bathroom?

恭喜, 站点创建成功！ 这是默认index.html，本页面由系统自动生成 本页面在FTP根目录下的index.html 您可以修改、删除或覆盖本页面 FTP相关信息，请到“面板系统后台 > FTP” 查看

わたし、クックパッドで広報やりたいです ― 櫻井さんはクックパッドに広報立ち上げのために入社されたそうですね。 はい。新卒でPR代理店に入社し、2年間様々な企業の広報支援の経験を積んだ後、ユーザーとして利用していたクックパッドの採用募集が目に止まって応募しました。こんなに便利なサイトなのに周囲に知っている人が少なくてもったいないなって。広報の力で成長できる時期だという直感がありました。だから、「『食の世界で何か起きたら、クックパッドに聞け』という認知を世の中に作ります！」と宣言して、クックパッドに入社したんです。 ― 前職と同じPRとは言え、代理店と事業会社内の広報はやっぱり勝手が違いましたか？ いやー…。豪語して入ったのに、ITに疎いし右も左もわからなかったですね（笑）。仕事を作らないと私は給料泥棒だぞと思って焦ったのを覚えてます。前職は忙しくて朝から晩まで働いていたのに、同じ広報でも大

DEMO VIDEOS Get to know everything Vimeo can do for your business. Watch now

日本アニメ初の快挙！海外アニメ賞を受賞した『スキップとローファー』海外ライセンス部長&プロデューサーが語る、奮闘の舞台裏

オンラインのプログラミング学習サイトBLOCが、Swiftを使ってテトリスを作成する方法をステップ・バイ・ステップで解説した無料サイト「Swiftris」を公開しています(公式ブログ)。Free eBookとありますがPDF形式の電子書籍などがダウンロードできるわけではなく、学習用Webサイトに無料アクセスできるようになる仕組みのようです。 ↑目次です。 オンライン学習サイトの教材(?)だけあって、解説は丁寧で分かりやすそう。Swiftのビッグウェーブに乗って行きたい方はどうぞ。

日々流れてゆく膨大な情報量の中からおいしいネタを敏感に察知し、ネット界隈を賑わせてくれるWeb業界の異端児・村上福之氏。同氏独自の経験と価値観から、「キャラ立ちエンジニア」の思考回路を紐解いていく。 株式会社クレイジーワークス 代表取締役 総裁 村上福之（@fukuyuki） ケータイを中心としたソリューションとシステム開発会社を運営。歯に衣着せぬ物言いで、インターネットというバーチャル空間で注目を集める。時々、マジなのかネタなのかが紙一重な発言でネットの住民たちを驚かせてくれるプログラマーだ From gilipollastv 個人的に注目しているAndroid Wear もちろん、対応アプリが少なく、いろいろと不満は多いので、一般消費者が使うとスムーズにいかない部分があります。ただ、サービス開発者側の人間が使うとかなり未来を感じますし、これでいろんなサービスやビジネスを考えてしまうなー

管理画面チラ見せ♡ナイト #1 の発表資料です。 [PR] Wantedlyでは最高に使いやすい管理画面を作りたいソフトウェアエンジニアを募集しています https://www.wantedly.com/projects/8134

2014-07-30 多重派遣で学歴も詐称されていた思い出 SE多重派遣問題が話題になっているので、自分も多重派遣の思い出を書く。 以前、「コールセンターで人を殺した思い出」という記事で、商社系のシステム開発部門に派遣されてクレジットカードのコールセンターの債権回収システムを開発した思い出を書いた。あの時ももちろん多重派遣だった。 ティーカップに勤めるちょっと前の話だけど、私はサーバー技術に詳しくなりたくて、求人サイトで「未経験歓迎・研修制度あり」という求人を出していた恵比寿の会社に応募した。恵比寿の会社の面接で「サーバーに関してはどれくらい経験がありますか？」と聞かれた。「あんまり経験はないのですが、GUIでSolarisマシンを自宅で使ってみたりしています」と答えた。その日のうちに採用の電話が掛かってきた。その電話で、次は五反田にあるシステム開発会社に一緒に来てほしいと言われた。 五反

連載目次 前回の「ActiveRecordにおけるモデルの「関連」とコールバックの使い方」までではMVCモデルにおけるRailsのモデルをつかさどる機能を理解できたかと思います。 今回は、MVCモデルにおけるコントローラーをつかさどる「ActionController」の機能について解説していきます。ActionControllerは開発者が実装する各コントローラーの親クラスである「ApplicationController」の親クラスです。従って、開発者が実装する各コントローラーはActionControllerのメソッドを継承しています。 ActionControllerの機能に迫る前にコントローラーの基本について「book_library」のディレクトリ「06」を基におさらいしておきましょう。 まずコントローラーの基本についておさらい サーバーにリクエストが来ると、ルーティングによっ

ベルギーのアントワープ大学（Antwerp University）から名誉学位を授与された英国の生物学者、リチャード・ドーキンス（Richard Dawkins）氏（2009年4月29日撮影、資料写真）。(c)AFP/BELGA/DIRK WAEM 【7月30日 AFP】生物学者であり、無神論者であることでも知られるリチャード・ドーキンス（Richard Dawkins）氏は29日、幾つかの種類の性的暴行を例にした書き込みをツイッター（Twitter）に投稿したところ批判が殺到し、「ヘイト（憎悪）の津波」が押し寄せたと明らかにした。 同氏は、「（友人や知人などに性行為を強要する）デートレイプは悪いが、ナイフを突き付けて見知らぬ人物をレイプするのはさらに悪い。見知らぬ人物によるレイプがデートレイプを容認する根拠になると考えるなら消えうせろ。そして考え方を学べ」、「軽度の小児性愛は悪いが、暴力