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
偶然にも500万個のSSH公開鍵を手に入れた俺たちは - slideshare
PFNは，「現実世界を計算可能にする」をVisionとして，膨大な計算量を必要とするシミュレーションや深層学習などの計算ワークロードを実行するためのオンプレML基盤を持っています． この取り組みについて、「使いやすい環境」、「リソースの効率的かつフェアな利用」、「信頼性・運用省力化」の観点から紹介します。 本イベント「オンプレML基盤 on Kubernetes 〜PFN、ヤフー〜」では、オンプレミスの Kubernetes クラスタ上に構築された機械学習基盤を持つ PFN とヤフーのエンジニアが自社での取り組みについて語り尽くします！ イベントサイト: https://ml-kubernetes.connpass.com/event/239859/
ゲームのBGM(音楽)同期について
Interactive Music II SuperCollider入門 3 - 音を混ぜる(Mix)、楽器を定義(SynthDef)
開発効率アンチパターン
Oculus Rift 勉強会 関西 #02 【OcuBen関西】 https://ocuben.doorkeeper.jp/events/31601 『Oculus Rift入門』で使用した資料です Oculus Rift勉強会 関西 #01 【OcuBen関西】 https://ocuben.doorkeeper.jp/events/21033 『スマホでVRコンテンツを作る！！！』の発表に使用した資料です。 多少修正していますが、発表に使った資料をほぼそのままです。 【2015/3/29 資料更新】 ①タオバイザーがAmazonで購入可能なことを記載しました。 ②Cardboard SDKがUnity 5に対応したことを記載しました。 Durovis Diveを使用したVRスマホアプリの作り方について解説しています。 #OcuBen 関西に合わせて2つのAndroidアプリをPlay
IOS/Androidアプリの３つの大事な設計方針
2022年11月2日 プロダクトマネージャーカンファレンス2022でのスライドです。プロダクトマネジメントの分野では、リーンスタートアップ本をはじめとした起業家が提唱するユーザー調査手法で、ユーザーのインサイトを見つけたり、仮説検証をおこなっています。しかし著者の多くは「起業家」であって「ユーザー心理を調査する専門家」ではありません。彼らの書籍で紹介されているユーザー調査手法は、荒削りであったり、不慣れであったり、自己流であったりします。 ユーザーのインサイトを確実に見つけ、プロダクトへ落とし込む専門家として「UXデザイナー」や「UXリサーチャー」がいます。プロダクトマネジメントに、UXデザインの専門家のノウハウを注入することで、より確実にユーザーのインサイトをおさえたプロダクト開発ができます。 本セッションでは、とくにプロダクトマネージャーたちが困っているテーマとして、ユーザーインタビュ
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
イミュータブルデータモデル(入門編)
6. Step1 エンティティの抽出 発送担当者が受注リストをもとに、商品の在庫を確認し、在庫が あれば商品を発送する。 ① 要求仕様の「動詞」を抜き出しエンティティとする。 ② ①に関わる「名詞」を抜き出しエンティティとする。 ③ エンティティ間の関連に線を引く ④ 属性や候補キーも分かる範囲で書いておきます。 間違い！ この段階で実装をプロパティファイルにするとか、Enum にするとか決め打ちでエンティティとして表さないのはや めましょう。 まず、はじめにエンティティを抽出します。
大規模グラフアルゴリズムの最先端
2013/1/9に統数研チャンネルにて、ウェーブレット木の解説をしました。岩波書店より出版されました「高速文字列解析の世界」の解説になっています。
左と右の話
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 この資料料を利利⽤用することによって発⽣生した、いかなる損害や
【18-C-4】Google App Engine - 無限の彼方へ
情報検索サービスで、優れたアプリケーション UI や充実した情報ソースを持っていながら、検索精度が悪く肝心の情報がうまく取り出せていないケースを散見します。検索精度はサービスの利便性に直結しており、最重要課題です。このセッションでは、Azure 上のフル マネージド型全文検索サービスである Azure Search のテキスト分析やマッチングの仕組みを解説しつつ、検索精度を効果的に向上させるための機能やノウハウをご紹介します。また、検索機能と親和性のある Bot インターフェースやAI (人工知能) 機能など、最近注目を集めているテクノロジーの Azure Search との連携による利便性向上例についてもご紹介します。 受講対象: アプリケーション開発に携わるすべての皆様、検索機能に関心のある皆様、今運用されている情報取り出し型のアプリケーションに短時間でそこそこの利便性を実現したいと考
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ページを開く
Blend Modes for OpenGL
Fontconfigことはじめ
色で失敗しない為に 〜理論に基づく配色フロー〜
Docker基礎+docker0.9, 0.10概要
