システム開発プロジェクト応用第一 第5,6回 Gitによるバージョン管理 - YouTube
東京工業大学の「システム開発プロジェクト応用第一」の講義動画シリーズです。再生リスト→ https://www.youtube.com/playlist?list=PLbBGNsln3DxR3yFgCPvj40_nV-k5buTvz 今回はバージョン管理システムを紹介します。主に Git の操作やデータモデルを説明します。ローカルにリポジトリを作ったり，リポジトリを複製して push/pull を試したりします。ワークツリー，インデックス，HEAD の関係を理解することで，git reset コマンドの挙動を深く理解します。3-way マージの仕組みとリベースの挙動を詳しく解説します。 00:00 バージョンを管理する、とは何か 12:25 基本的なgitコマンドたち（前置きを飛ばして見たい方はここから） 16:10 git diff 17:45 git log、git log --g
今さら人に聞けない「日本語でBeamer」のキホン - Qiita
「Beamerで日本語を無事に扱う」ためにプレアンブルに書くべき設定内容を、各種エンジン（とDVIウェアの組合せ）の各々について示す。 前提 “日本語でない”（欧文の）Beamer文書の作り方については、余裕で解っているものとする。 “Beamerでない”（article系などの）日本語LaTeX文書の作り方については、余裕で解っているものとする。 動作確認はTeX Live 2015（最終版）および2016（2016-07-20時点）で行った。 pLaTeXの場合 dvipdfmxを使う場合 % pLaTeX文書; 文字コードはいつも通り \documentclass[dvipdfmx,12pt]{beamer}% dvipdfmxしたい \usepackage{bxdpx-beamer}% dvipdfmxなので必要 \usepackage{pxjahyper}% 日本語で'しおり'し
楽しみながら成果を出せる人は何をしているのか？ 「フロー状態」を作り出す方法
2018年6月27日、SENQ霞が関にて、「Mirai Forum #11 【特別企画】Mirai Forum X ハフポスト日本版 -これからの「健康革命」—人生100年時代を生き抜くための”心と身体”〜100人で考える、新しい世代のビジネススキル〜」が開催されました。仕事を長く続けていくための「健康な心と体」を維持するためのビジネススキルをテーマに、人生100年時代を生き抜くためのヒントについてプレゼンテーションを行います。本パートでは、生産性が上がりアイデアが生まれやすくなる「フロー状態」をどう起こすかについて語りました。 パフォーマンスが上がり、ひらめきが起こる「フロー状態」 司会者：続いて、体の健康の中でも、最も自分のパフォーマンスが上がったり、それによってひらめきが起こる瞬間って、どんなときなんだろうかということを、うち（プロノイアグループ）の世羅からお話しさせていただきたいと
initramfsについて
1. initramfs について Kansai Debian Meeting 20101024 西山和広 Good-Day Inc. Powered by Rabbit 0.6.4 2. Who am I? twitter: @znz fingerprint sec 4096R/B4222F7A 2010-06-27 [expires: 2040-08-10] Key fingerprint = B863 D6DC C2B9 57B8 5238 6CE0 262E D8DB B422 2F7A uid Kazuhiro NISHIYAMA <zn@...> uid Kazuhiro NISHIYAMA (ZnZ) <zn@...> uid Kazuhiro NISHIYAMA <nisiyama@...> uid Kazuhiro NISHIYAMA (znz) <kzhr.nsym@..
深層強化学習の動向 / survey of deep reinforcement learning
全脳アーキテクチャ若手の会第28回勉強会 Keywords: DQN, 強化学習, Episodic Control, Curiosity-driven Exploration
「Frama-Cによるソースコード検証」 (mzp)
Pythonの処理系はどのように実装され，どのように動いているのか？ 我々はその実態を調査すべくアマゾンへと飛んだ．kiki utagawa
暗号文のままで計算しよう - 準同型暗号入門 -
2. • 準同型暗号とは何か • 加法準同型暗号のデモ • 楕円ElGamal暗号 • 完全準同型暗号 • その原理の雰囲気の紹介 • 『クラウドを支えるこれからの暗号技術』 • 公開鍵暗号の最先端応用技術・理論 • 準同型暗号が載ってる和書は現時点で本書のみ • 数学成分高め • https://herumi.github.io/ango/ 概要 2/39 3. • 光成滋生（@herumi） • @IT連載記事「クラウド時代の暗号化技術論」 • http://www.atmarkit.co.jp/ait/series/1990/ • CODE BLUE2015 • Excelのパスワード暗号化にあったバグの話 • http://www.slideshare.net/herumi/ms-office-54510219 • 属性ベース暗号の実装でIEEE trans. on Compute
VeriFast Termination Checking Introduction(α)
静的コード解析の会 第2回 (https://metasepi.connpass.com/event/50450/) で発表した資料です。 VeriFastによるC(およびJava)言語の停止性証明に関する解説を行っています。停止性検査を行う理論的背景を説明し、これを行う際にVeriFastの採る大ま…
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pandoc + reveal.jsでMarkdownによるスライド作成 in Windows
スクラムの基礎 | Ryuzee.com
TED Ideas Worth Spreading|Talks in Japanese