You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
「片手間JavaScripter」にも知ってほしい、Vue.jsで実現するMVVMパターン、Fluxアーキテクチャとの距離 accepted Abstract Vue.jsは、JavaScriptでMVVMパターンを実現するライブラリです。 このセッションでは、まず jQuery から始め、Vue.js による MVVM による PDS の導入、単方向データフローの導入による Flux アーキテクチャへの接近までをコード例を交えて見ていきます。 Vue.jsを題材にしますが、「Vue.jsの使い方チュートリアル」のようなものではなく、アーキテクチャ寄りの話題になります。「片手間 JavaScripter」だったわたしが、実践的な SPA を開発する中で得た知見を大放出します。
Download Coq(英語) ダウンロードしなければ何も始まらない。 Download | The Coq Proof Assistant ちなみにLinuxディストリならcoqideパッケージをインストールするのが吉 Coqの入門記事を書く会 そこそこ体系的な入門サイト 2010-09-02 - ひとり勉強会 2010-09-14 - ひとり勉強会 2010-09-19 - ひとり勉強会 2010-10-12 - ひとり勉強会 Coq 99 練習問題。直観主義論理における有名な証明を一通り解ける。 Functional Programming Memo: [Coq] Coq-99 : Part 1 anarchy proof 練習用サイト。途中から一気に難化するのが問題。 わからなかったら他の人の解答も見られる anarchy proof - Curry-Howard Isomorp
今日の風景 最近の、ごくごく一部のエンジニア界隈では、言葉を短縮する傾向にあり、例えば「気持ち」だとか、あるいは「やっていく」とか、そういった雑な言葉が日々誕生している。その理由を察するに、基本的には曖昧さとか雰囲気とか、あるは日本語の乱れとかそういうことなのだろうと思う。そういう言葉使いが好きな人は小林銅蟲先生の「めしにしましょう」という料理漫画が近日発売されるので、予約購入するといいのではないか、と思う。 めしにしましょう(1): イブニング 作者: 小林銅蟲出版社/メーカー: 講談社発売日: 2016/11/22メディア: コミックこの商品を含むブログを見る で、その文脈を補強した上で、さらに曖昧な形で、知人達がやっている「サウ」という場所で、「JSの会」、通称「会」というのをプライベートでやったりした。「サウ」とは下のような場所である。 「サウ」というのは「サマーウォーズ」の略で、
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
趣味はドラムと日々のやりくり。フリーターで貯蓄1600万→投資失敗・損失1000万→貯金が底をつきかけ再婚。社会人大学生。 今まだ記憶があります。 記憶が途絶えるほど泥酔したら自殺します。 土井さん、藤村さん、久手堅さん、三神さん、北口さん、その他アルバイト先の皆さまご迷惑をおかけします。 今、無断欠勤しています。22時半から出勤です。 本当はこんな事書かずに死ぬつもりでした。 ただ、さっき7階を下見に行ったら怖くて、手汗がすごくて。 あああかんなって。自殺しきれんかもしらんなって。 未遂に終わったらかっこ悪いからブログには書かんとこうって。 そう思ってたのに書いてます。 朝倉さんからは電話かかってきました。 いくらちと電話したけどよくわからんかったって。 いくらちとの事が22時までに解決せんかったら死ぬって決めてました。 でも怖くて今長引いてます。 本当は22時頃には死んでる予定でした。
作りました. github.com 詳細はgithubのREADMEをどうぞ.(酷い英語ですが) 当初は純lispを作ろうと思ったのでpureという名前ですが, tak関数を動かしたいなど欲が出てきたので 純粋でも何でもなくなってます. GCはありますが, マクロはありません. (私がマクロをちゃんと理解してないので) 作成時の参考文献は一番下に記載するので興味のある方はご覧ください. 以下は駄文です. 作り始めたきっかけ 以前から何か言語処理系を作ってみたいなと思っていました. Brainf*ckはともかく, 作ったことがなかったので. それとは全く別に私は今27才で, 25,27,32というのは個人的に特別な節目になる年齢じゃないかと感じていました. SIerにいると年齢と共にプログラミングする機会が減っていくのでなんとなく腕試ししたくなる事がよくあります. 「プログラマを名乗るならこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く