Soumettre la recherche
Mettre en ligne
ご静聴ありがとうございました
•
Télécharger en tant que PPTX, PDF
•
1 j'aime
•
3,754 vues
Masaki Hara
Suivre
Signaler
Partager
Signaler
Partager
1 sur 12
Télécharger maintenant
Recommandé
[2014.10.05] Color days! Live on Ustream Presentation-Slide
[2014.10.05] Color days!Live on ustream Presentation-Slide
[2014.10.05] Color days!Live on ustream Presentation-Slide
waka16
2012年10月6日に #ystudy で発表した「1週間でマスターするディアステージ15分短縮版」を2014年4月18日の社内勉強会向けに一般の方が引かない程度に修正したものです。 なお、発表であまりの時間があったら、と思ったのですが、余らなかったのでお蔵入りとなっています。
1週間でマスターするディアステージ
1週間でマスターするディアステージ
Takatoshi Ohmura
第1回学生新歓コンテンスト・決勝進出チームのプレゼンスライドです
第1回学生新歓コンテンスト 決勝進出チーム『REVOLVE』
第1回学生新歓コンテンスト 決勝進出チーム『REVOLVE』
第2回学生新歓コンテンスト
さっき考えてたことのメモ
“A ::= aAa / a” in PEG
“A ::= aAa / a” in PEG
Masaki Hara
Competitive Programming Advent Calendar 2012の12/01担当分の記事です。
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
Masaki Hara
IOI2013 直前合宿にて, HotterColder, SaveIt, Parrots, Maze, Disparityの解説
いろいろな問題の解説
いろいろな問題の解説
Masaki Hara
Coqの公理について
Coqの公理
Coqの公理
Masaki Hara
Running Rust in Production #1 https://d-cube.connpass.com/event/90317/ の発表です。 新卒3ヶ月でRustで動くサービスを立てられそうなので、それについて話します。 なぜRustで書くのか、どのようにしてRustで書くことを受け入れてもらえるかという観点から、現状と今後のプランについて話せたらと思っています。
You won't know it's now Rust
You won't know it's now Rust
Masaki Hara
Recommandé
[2014.10.05] Color days! Live on Ustream Presentation-Slide
[2014.10.05] Color days!Live on ustream Presentation-Slide
[2014.10.05] Color days!Live on ustream Presentation-Slide
waka16
2012年10月6日に #ystudy で発表した「1週間でマスターするディアステージ15分短縮版」を2014年4月18日の社内勉強会向けに一般の方が引かない程度に修正したものです。 なお、発表であまりの時間があったら、と思ったのですが、余らなかったのでお蔵入りとなっています。
1週間でマスターするディアステージ
1週間でマスターするディアステージ
Takatoshi Ohmura
第1回学生新歓コンテンスト・決勝進出チームのプレゼンスライドです
第1回学生新歓コンテンスト 決勝進出チーム『REVOLVE』
第1回学生新歓コンテンスト 決勝進出チーム『REVOLVE』
第2回学生新歓コンテンスト
さっき考えてたことのメモ
“A ::= aAa / a” in PEG
“A ::= aAa / a” in PEG
Masaki Hara
Competitive Programming Advent Calendar 2012の12/01担当分の記事です。
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
Masaki Hara
IOI2013 直前合宿にて, HotterColder, SaveIt, Parrots, Maze, Disparityの解説
いろいろな問題の解説
いろいろな問題の解説
Masaki Hara
Coqの公理について
Coqの公理
Coqの公理
Masaki Hara
Running Rust in Production #1 https://d-cube.connpass.com/event/90317/ の発表です。 新卒3ヶ月でRustで動くサービスを立てられそうなので、それについて話します。 なぜRustで書くのか、どのようにしてRustで書くことを受け入れてもらえるかという観点から、現状と今後のプランについて話せたらと思っています。
You won't know it's now Rust
You won't know it's now Rust
Masaki Hara
Rustコンパイラを身近に感じてもらうために、Rustコンパイラに貢献した実例を紹介します。
How I Contribute to Rust Compiler
How I Contribute to Rust Compiler
Masaki Hara
2013年の情報オリンピック春期トレーニング合宿(日本代表選抜合宿)の4日目に出題されたSpaceshipsの解説です。問題文等は http://www.ioi-jp.org/camp/2013/2013-sp-tasks/index.html で入手できます。
Spaceships 解説
Spaceships 解説
Masaki Hara
直観主義命題論理の決定性をCoqで証明した話 @ Logic Zoo Workshop 2013 http://logiczoo13.pira.jp/
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Masaki Hara
RT @nullmineral: 永続データ構造わかんないので誰かわかりやすいスライドください
永続データ構造が分からない人のためのスライド
永続データ構造が分からない人のためのスライド
Masaki Hara
upcamp 2012にて
Coqでsprintf
Coqでsprintf
Masaki Hara
upcamp 2012 にて
Coqでsprintf
Coqでsprintf
Masaki Hara
upcamp(私立・プログラミングキャンプ) 2012 東京大会 http://atnd.org/events/30833
書くネタがCoqしかない
書くネタがCoqしかない
Masaki Hara
第11回 日本情報オリンピック 春合宿 競技2日目 「テレビ放送(Broadcasting)」 解説スライド
joi2012-sp-day2-broadcasting
joi2012-sp-day2-broadcasting
Masaki Hara
Contenu connexe
Plus de Masaki Hara
Rustコンパイラを身近に感じてもらうために、Rustコンパイラに貢献した実例を紹介します。
How I Contribute to Rust Compiler
How I Contribute to Rust Compiler
Masaki Hara
2013年の情報オリンピック春期トレーニング合宿(日本代表選抜合宿)の4日目に出題されたSpaceshipsの解説です。問題文等は http://www.ioi-jp.org/camp/2013/2013-sp-tasks/index.html で入手できます。
Spaceships 解説
Spaceships 解説
Masaki Hara
直観主義命題論理の決定性をCoqで証明した話 @ Logic Zoo Workshop 2013 http://logiczoo13.pira.jp/
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Masaki Hara
RT @nullmineral: 永続データ構造わかんないので誰かわかりやすいスライドください
永続データ構造が分からない人のためのスライド
永続データ構造が分からない人のためのスライド
Masaki Hara
upcamp 2012にて
Coqでsprintf
Coqでsprintf
Masaki Hara
upcamp 2012 にて
Coqでsprintf
Coqでsprintf
Masaki Hara
upcamp(私立・プログラミングキャンプ) 2012 東京大会 http://atnd.org/events/30833
書くネタがCoqしかない
書くネタがCoqしかない
Masaki Hara
第11回 日本情報オリンピック 春合宿 競技2日目 「テレビ放送(Broadcasting)」 解説スライド
joi2012-sp-day2-broadcasting
joi2012-sp-day2-broadcasting
Masaki Hara
Plus de Masaki Hara
(8)
How I Contribute to Rust Compiler
How I Contribute to Rust Compiler
Spaceships 解説
Spaceships 解説
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Proving Decidability of Intuitionistic Propositional Calculus on Coq
永続データ構造が分からない人のためのスライド
永続データ構造が分からない人のためのスライド
Coqでsprintf
Coqでsprintf
Coqでsprintf
Coqでsprintf
書くネタがCoqしかない
書くネタがCoqしかない
joi2012-sp-day2-broadcasting
joi2012-sp-day2-broadcasting
ご静聴ありがとうございました
1.
ご静聴ありがとうございまし た ご静聴ありがとうございました ご静聴研究室 呉清張アリー ご静聴カンファレンスにて 2014年01月29日
2.
ご静聴 • ご静聴お願いします
3.
今日の発表について • 「ご静聴ありがとうございました」につ いて発表させて頂きます
4.
ご静聴ありがとうございました とは • 「ご静聴ありがとうございました」の意 味について説明します
5.
ご静聴ありがとうございました とは • 「ご静聴ありがとうございました」とは – ご静聴←(発表を)静かに聞いているという意味 –
ありがとう←有り難いという意味 • アリが10匹という意味の可能性もある – ございました←丁寧表現 • 何にでも付けて良い丁寧表現ではない • 「発表させて頂きございました」は変
6.
•ここで半 分
7.
ご静聴ありがとうございます • ここまでご静聴ありがとうございます • まだ続きます
8.
本研究の提案 • 「ご静聴ありがとうございました」をた くさん使おう 図1: ネットで拾った画像
9.
ご静聴感謝しています • ここまでご静聴ありがとうございます – おかげさまで会場が静かです •
まだ続きます
10.
このように • ご静聴圧力をかけることで会場が静かに なります
11.
まとめ • ご静聴ありがとうございました
12.
まとめ • ご静聴ありがとうございました • 質問は!ありますか!
Télécharger maintenant