The Yoneda lemma and String diagrams
The Yoneda lemma and string diagrams When we study the categorical theory, to check the commutativity is a routine work. Using a string diagrammatic notation, the commutativity is replaced by more intuitive gadgets, the elevator rules. I choose the Yoneda lemma as a mile stone of categorical theory, and will explain the equation-based proof using the string diagrams. reference: 1: Category theory:
心地よいUIの温度 - 言葉と気遣いで高めるUI -
1. OH is a design project by yuta wariishi. website design, app UI/UX design, Branding & Logo design. Speaker No.4 / KAYAC inc. 割石 裕太 2. 割石 裕太 KAYAC inc. Designer (2012.4 - ) 自己紹介 @KAYAC inc. OH is a design project by yuta wariishi. website design, app UI/UX design, Branding & Logo design. 3. @wariemon Art Direction & Web / App / Blanding / Logo Design OH : http://wariemon.com 自己紹介 @OH (Personal
ゲームのBGM(音楽)同期について
2. とりあえず⾃自⼰己紹介 HN : hart 千葉⼤大学電⼦子計算機研究会(CCS) 及び 同⼈人ゲームサークル「エンドレスシラフ」所属 プログラミング担当 作品： ①「∀kashicverse – Malicious Wake -‐ 」(C83 , エンドレスシラフ) ②「ヒメノストライカー」(C84 , エンドレスシラフ) ③「Re;Act」(C84 , CCS) など。 3. BGM同期とは？ ・その名の通りゲームの動作を流れている⾳音楽に同期させて動かすこと ・最たるものは⾳音楽ゲーム ・STGでも良く⾒見見られる(敵の出現タイミング、背景の変化など) ・その他RPGやACTで⾒見見られることも ・⾳音楽とゲームの⼀一体感を演出したい場合は⼤大抵の場合で使える ※若⼲干STG寄りな話になると思いますがご了承ください
開発効率アンチパターン
11. #IGPFC • テンプレートを使いこなそう • 自分自身(チーム)の設計フレームワークを持とう • もっと先へ加速したくはないか、少年 • まとめ
IOS/Androidアプリの３つの大事な設計方針
5. 端的に言うとこういうこと • Model と それ以外を分ける • Objectのライフサイクルと参照関 係の整理理をしよう • ⾮非同期制御でState Machineを活⽤用 しよう 11つずつ説明していくよ 7. まずは「MMooddeellって何？」っ てことよね。 MMooddeellが意味する範囲は広い のよ。 基本的にはアプリケーション データの本質的な処理をする のがMMooddeellに相当するわ。 といってもピンとこないから、 「何がMMooddeellでないか？」を 考えるとわかりやすいよ。 8. 簡単に言うとMMooddeellは アプリの中でUUIIに関係しない部分 つまりUUIIに関係する部分はMMooddeell ではないわ UI=User Interface: ユーザの操作を受け付けたり何かを表⽰示をする部分
Hacking Go Compiler Internals / GoCon 2014 Autumn
The document discusses hacking the Go compiler by modifying various phases. The lexer phase scans source code and tokenizes it. The parser phase builds an abstract syntax tree from the tokens by making parser calls. Examples are given of modifying the lexer to accept emoji identifiers and adding a new operator by extending the parser phase. Helpful debugging functions are also outlined.Read less
Why my Go program is slow?
The document discusses why a Go program may be slow and provides tips for profiling and optimizing Go code performance. It introduces the pprof CPU profiler and how to use it to analyze performance bottlenecks. Some factors that can slow down Go programs include garbage collection, memory copying, and function calls. The document hopes that future versions of Go will include features like concurre
Fontconfigことはじめ
2. FontConfigとは • フォントを決めたりするやつ • アプリにフォント設定を提供する • 設定機能 • マッチング機能 • コマンド • • • • • • • fc-cache fc-cat fc-list fc-match fc-pattern fc-query fc-scan • フォントファイルのパースはFreeTypeに依存 3. 使い方 • アプリから • #include <fontconfig/fontconfig.h> • FcPattern * FcFontSetMatch(FcConfig *config, FcFontSet **sets, intnsets, FcPattern *pattern, FcResult *result); • ユーザ • fonts.confファイルで設定 • fc-listやfc-matchで確認・デバッグ アプリによ
イミュータブルデータモデル(入門編)
6. Step1 エンティティの抽出 発送担当者が受注リストをもとに、商品の在庫を確認し、在庫が あれば商品を発送する。 ① 要求仕様の「動詞」を抜き出しエンティティとする。 ② ①に関わる「名詞」を抜き出しエンティティとする。 ③ エンティティ間の関連に線を引く ④ 属性や候補キーも分かる範囲で書いておきます。 間違い！ この段階で実装をプロパティファイルにするとか、Enum にするとか決め打ちでエンティティとして表さないのはや めましょう。 まず、はじめにエンティティを抽出します。
大規模グラフアルゴリズムの最先端
2. 挨拶 • 自己紹介 – 秋葉拓哉 / @iwiwi – 東京大学 コンピュータ科学専攻 M1 – アルゴリズム系の研究室 – プログラミングコンテストが好き – 2009 年にインターンさせてもらって以来アルバイト アリ本 （グラフの話もあるよ） 1 3. いろんなグラフ 道路・交通ネットワーク • 頂点：交差点，駅など • 辺：道，路線など やりたいことの例 • 案内，交通管制 • 輸送や災害のための解析 • 地理情報と絡めたサービス • … 2 4. いろんなグラフ ソーシャルネットワーク • 頂点：人 • 辺：人間関係 やりたいことの例 • 「知り合いかも？」とか • 重要度・影響度の解析 • コミュニティ解析 • 情報の伝播力の解析 • … (MentionMap で作成) 映画 3
左と右の話
3. 3 左辺値・右辺値とは何か？ i = 42; 左辺値右辺値 式の値を格納した場所 Cf. “Location value” 式の値 4. i int &f(); f() 全て規格に 4 左辺値・右辺値とは 全ての式がおのおの持つ属性 左辺値となる式 右辺値となる式 42, i + j int g(); g() MyClass(arg) 書いてある
Symbol GC
This document summarizes Narihiro Nakamura's presentation on symbol garbage collection in Ruby. It describes the problem that symbols are currently uncollectable in Ruby and outlines an idea to make symbols collectable by differentiating between immortal symbols and mortal symbols. Immortal symbols would refer to symbols used in the C layer like method names, while mortal symbols like those genera
本当は楽しいインターネット
2. 注意書き n この資料料は2014年年9⽉月14⽇日に開催された「情報科学若若⼿手の会2014」における 若若⼿手特別講演での発表に使⽤用した資料料です n 誤記の修正や補⾜足の追加、内容の削除、順序の変更更など、発表時の資料料と異異な 2014 (c) INTERNET MULTIFEED CO. 2 るところがあります n この資料料は初学者向けにわかりやすく説明することを⽬目的としたものであり、 厳密には正しくない内容が含まれている可能性があります n この資料料は全て公開されている情報に基づいて作成されています n この資料料に含まれるデータは、2014年年9⽉月13⽇日時点において取得可能であった ものを利利⽤用しています n この資料料の中で引⽤用している画像の著作権は元の著作者に帰属します n この資料料を利利⽤用することによって発⽣生した、いかなる損害や
色で失敗しない為に 〜理論に基づく配色フロー〜
hokuriku.NET×wcafで使用したスライドです。 スライドのサンプルサイトを、都合により一部差し替えてあります。Read less Editor's Notesこんにちは、 hokuriku.net×wcaf 一番手を勤めさせていただきます。 橘雄大と申します。 本日は、色で失敗しない為にということで、 配色についてのセオリーについて話させて頂きます。 まずは簡単な自己紹介から 先ほどの司会をやっている佐々木と同じ、 株式会社 ALL CONNECT で Web デザイナーをやっております。 去年まで、金沢で雑誌や広告などのデザイン制作会社に勤めておりました。 今日は、会社の上司が見に来ているので、非常に緊張しています。 最近興味あるものは サス、コンパス、グラント！ いずれもターミナルなどを使用してのツールなのです。 デザイナーで言う、いわゆる黒い画面。 これ自体には、もとも
【18-C-4】Google App Engine - 無限の彼方へ
2. App Engine to infinity and beyond Takashi Matsuo Google, Inc. Feb 18, 2011 3. 自己紹介 松尾貴史 @tmatsuo App Engine Developer Advocate Kay's Daddy http://code.google.com/p/kay-framework/ 5. App Engine のこれまで 3 年 - 進化を続けるプラットフォーム Apr 2008 Python launch May 2008 Memcache API, Images API Jul 2008 Logs export Aug 2008 Batch write/delete Oct 2008 HTTPS support Dec 2008 Status dashboard, quota details Feb 200
Ik in action
This document discusses ik, an alternative implementation of fluentd developed by Moriyoshi Koizumi. It describes ik's features like small memory footprint and built-in scoreboard compared to fluentd. It also discusses Koizumi's use of ik in a production environment to remotely collect logs from Windows tablets running .NET applications, where ik was deployed alongside fluentd and stunnel to trans
非同期処理の基礎
4. ThreadよりもTask for (int i = 0; i < num; i++) { var t = new Thread(_ => b[i] = F(a[i]) ); } for (int i = 0; i < num; i++) { Task.Run(() => b[i] = F(a[i]) ); } ×悪い例 ○良い(まだマシ※な)例 データの数だけ スレッド作成 Threadでなく Task利用 ※ この場合、ParallelクラスやParallel.Enumerableクラスが使いやすい 5. ThreadよりもTask for (int i = 0; i < num; i++) { var t = new Thread(_ => b[i] = F(a[i]) ); } for (int i = 0; i < num; i++) { Task.Run(() => b[
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
偶然にも500万個のSSH公開鍵を手に入れた俺たちは - slideshare
Blend Modes for OpenGL
Docker基礎+docker0.9, 0.10概要
