Java9から17で入った新機能ピックアップ

2022/03/19 163 users Java9 class コンポーネント フィールド レコード

Java9から17で入った新機能で、実際コード書く上で使いそうなものをピックアップします。 Java8を使い続けていた人向けです。 レコード (Java16) 不変なデータを保持するクラスを簡単に定義できるようになりました。 classの代わりにrecordで定義します。 名前の後に、フィールドのリスト(コンポーネントと呼ばれます)を... 続きを読む

Record, replay and measure user flows - Chrome Developers

2021/11/03 109 users Chrome Developers

# Open the Recorder panelOpen DevTools. Click on More options     > More tools > Recorder. Alternatively, use the Command Menu to open the Recorder panel. # IntroductionWe will be using this coffee ordering demo page. Checkout is a common user flow among shopping websites. In the next sections, w... 続きを読む

レコードを木工ボンド乾かして掃除する→剥がした方のボンドを再生してみたらこうなった「めっちゃ可能性を感じる」 - Togetter

2021/01/14 546 users Togetter ポンド 円盤 円筒状 レコード

リンク Wikipedia レコード レコード (record, vinyl record, 英語版ではgramophone record)とは、音声記録を意味し、主に樹脂などでできた円盤（最初期には円筒状の蝋管レコードを含む）に音楽や音声などの音響情報を刻み込み記録したメディアの一種を示すことが多い。音盤などその他の呼び方で呼ばれることもある。 音... 続きを読む

FFRKを支えるWebアプリケーションフレームワークの技術

2015/02/09 122 users Keeper Webアプリケーションフレームワーク 越智

Transcript 1. Copyright  (C)  DeNA  Co.,Ltd.  All  Rights  Reserved.   FINAL  FANTASY  Record  Keeperを⽀支える Webアプリケーションフレームワークの技術   株式会社ディー・エヌ・エー   Japanリージョン  ゲーム事業本部   技術・編成部  開発基盤グループ   越智  琢正  taku... 続きを読む

デスクトップの指定した範囲をGIFアニメとして録画『LICEcap』 - Macの手書き説明書

2013/10/27 53 users LICEcap アニメーション リピート 領域 録画

現在の価格： 無料 販売元：Cockos Incorporated 対応OS：10.6以降 デスクトップの指定した範囲を録画、GIFアニメファイルとして保存できるアプリです。アプリの操作説明などに活用できます。起動するとフレームだけのウィンドウが表示されるので、録画したい領域を収め「Record」をクリックで録画開始。アニメーションの開始時にタイトルを表示(英語のみ)できたり、リピート再生するGI... 続きを読む

Agda による圏論入門

2013/08/22 68 users Agda Reasoning level 要約 圏論入門

Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 Agda の入門の要約 Agda の入門　 Agda の集合の Level　 Agda の record 　 Agda のReasoning 　 Caategory module と圏の入門 自然変換 IdentityFu... 続きを読む