ゲームの中で信号関数を自在に扱う：アロー記法 - bitterharvest’s diary
１．アロー記法 ここで用いているアロー記法は、John Hughesが定義したものを応用している。もとの理論は次のようになっている。 John Hughesのアロー記法： １）型のような関数に対する抽象データ型インタフェースである。 ２）プロセスのような計算を表現する型に対して特に適している。 ３）モナドに関係している。それはアロー記法が計算であることによる。しかし、もっと一般的には、任意のモナド\(m\)はアロー記法を引起すことによる。即ち、Kleisliアロー記法\(\alpha \rightarrow m \beta \)。しかし、逆は真ではない。 ４）配線の組合せ子の最小の集合を用意する。 アローとは １）二引数の型コンストラクタ ２）三つのオペレータ (ア) 持上げ(lifting)： arr :: (b -> c) – a b c (イ) 合成(composition)：(>>
JXUGC #13 東京 緊急開催 Xamarin のすべて！ を開催しました - Xamarin 日本語情報
こんにちは。エクセルソフトの田淵です。 jxug.connpass.com 怒涛の17名による講演が何とか無事に終了しました。 お礼、リンクや所感 ご参加いただいた皆様、ストリーミングで視聴いただいた皆様、登壇いただいた皆様、スタッフとしてお手伝いいただいた皆様、申し込みが間に合わず来られなかった皆様もみんなありがとうございました。 無償化が発表されて、すぐに JXUG やらねばと思い、各所にスピーカーの相談などしながらイベントページを立ち上げたその日に100人以上の申し込みがあり、140名の参加枠に対して一時は 300名以上の申し込みがありました。当日も120名近くの方に来ていただき、Microsoft さんのセミナールーム C+D が文字通りの満席となるなど、本当にすごい大規模な勉強会となりました。 回線の関係でストリーミングの調子が最初悪かったですが、録画データでアップしなおしていま
性格タイプ | 16Personalities
Skip to main content Skip to search ログイン 日本語 性格タイプ 分析家 建築家 INTJ-A / INTJ-T 想像力が豊かで、戦略的な思考の持ち主。あらゆる物事に対して計画を立てる。 論理学者 INTP-A / INTP-T 貪欲な知識欲を持つ革新的な発明家 指揮官 ENTJ-A / ENTJ-T 大胆で想像力豊か、かつ強い意志を持つ指導者。常に道を見つけるか、道を切り開く。 討論者 ENTP-A / ENTP-T 賢くて好奇心旺盛な思考家。知的挑戦には必ず受けて立つ。 外交官 提唱者 INFJ-A / INFJ-T 物静かで神秘的だが、人々を非常に勇気づける飽くなき理想主義者 仲介者 INFP-A / INFP-T 詩人肌で親切な利他主義者。良い物事のためなら、いつでも懸命に手を差し伸べる。 主人公 ENFJ-A / ENFJ-T カリスマ性があり
1255352 - Land initial CacheIR patch
Comment on attachment 8728911 [details] [diff] [review] Patch Review of attachment 8728911 [details] [diff] [review]: ----------------------------------------------------------------- This /is/ much shorter and cleaner! This looks good. I have a bunch of random nits and ergonomics comments, but no major concerns. I am excited to see how the merge with Ion and the addition of accessors et al. will
Japanese Cheat Sheet Pack
{"id":286762577,"title":"Japanese Cheat Sheet Pack","handle":"japanese-cheat-sheet-pack","description":"\u003cp\u003eNihonShock Japanese Cheat Sheet Pack is an ultra-concise collection of all the information most vital to mastering Japanese, from JLPT N5 to N1 and beyond. Grammar, verb forms, numbers, spoken forms, fluency tips, keigo, kanji… It’s all here, organized elegantly and intuitively on n
開発に54年間もかかったソフトウェア「Xanadu」がついにリリース、その秘めたる野望とは？
「Xanadu(ザナドゥ)」は1960年に開発がスタートしたシステムで、2014年4月後半にこれまで54年間のプロジェクトの成果物としてひっそりと「OpenXanadu」というソフトウェアをリリースしました。Xanaduは、現在インターネット上で使われているハイパーテキストシステムであるWorld Wide Web(ウェブ)のポジションに就いて、現在のインターネットを構成する基本システムになっていたかもしれないものなのですが、開発が遅すぎてもはやそれも夢物語状態です。しかし、Xanaduの産みの親であるテッド・ネルソン氏にはまだ大きな野望があるようです。 World's most delayed software released after 54 years of development | Technology | theguardian.com http://www.theguard
Nix by example, Part 1: The Nix expression language
(Btw, I recently launched Everyday Data Science, an interactive course on data science. You’ll love it.) Nix is a package manager. ‘Nix’ is also the name of the programming language that it uses. The language can actually be used independently, without any package management at all. Here I show the Nix expression language by example. My approach is to introduce expanding subsets of the language: a
🇯🇵 SJIS/EUC-JPのテキストファイルをQuick Lookする - みずぴー日記
QuickLook便利なんだけど、SJISやEUC-JPのテキストファイルが見れないのが面倒だな— mzp (@mzp) 2016年5月7日 SJIS/EUC-JPのテキストファイルをQuick Lookできないのが不便なので、プラグインを書いた。 ダウンロード https://github.com/mzp/qltext-jp 実装 Quick Lookされたときにエンコードの自動判定を行ない、その後の表示はシステムにまかせている。 実装は以下のプラグインを参考にした。 https://github.com/toland/qlmarkdown https://github.com/whomwah/qlstephen また文字コードの判定は以下のコードを用いている。 objective-cで文字コードを自動判別する - Qiita 他の方法 xattr xattr で拡張属性を設定すれば特に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - voormedia/rails-erd: Generate Entity-Relationship Diagrams for Rails applications
GitHub - igorkasyanchuk/rails_db: Rails Database Viewer and SQL Query Runner
GitHub - BurntSushi/erd: Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
entity relationship generate schema - Google 検索
GitHub - markets/awesome-ruby: 💎 A collection of awesome Ruby libraries, tools, frameworks and software
TL;DR DynASM is a toned down JIT compiler which directly generates target assemb... | Hacker News
Why Is No One Writing Language Runtimes?
03_ctypes.ipynb · GitHub
sofane.net - sofane リソースおよび情報
ルネサス エレクトロニクス株式会社 (Renesas Electronics Corporation)
