July Tech Festa 2019 #JTF2019 ツイートまとめ 午後前半

こば -Koba as a DB engineer- @tzkb

チェシャ猫さーん！！ #JTF2019

hmatsu47(まつ) @hmatsu47

はじまりました。#JTF2019 #JTF2019_B

とっちゃんポップ @hamakichi_taro

証明駆動開発って何だ？ #jtf2019

sekiguchi（またしても何も知らないsekiguchiさん） @nlog2n2

テスト駆動開発から証明駆動開発へ #JTF2019

まつさか :checked: @ma2saka

はじまった #JTF2019_A

P山 @pyama86

@hokkai7go のセッション来た #JTF2019 pic.twitter.com/RX8C8o0AR5

拡大

こばせ🥴 @kobase555

はてなSREチームのスクラム実践 #JTF2019

Shinya Tsunematsu @tnmt

@hokkai7go の「はてなSREチームにおけるスクラムの実践」を聞きに来ました　#JTF2019 #JTF2019_C

hmatsu47(まつ) @hmatsu47

トヨタだけど大手町勤務（伊藤さん）#JTF2019 #JTF2019_B

Teihi Kin @teihijapan

気になる方はレッドハットブースまでいらっしゃってください(^^)#JTF2019

こばせ🥴 @kobase555

BiSH！ #JTF2019

kAZUYA tAKEI @attakei

午後セッションから参加。最初はここ #JTF2019_A

こば -Koba as a DB engineer- @tzkb

分散システム、難しいです。 #JTF2019 #JTF2019_A

Kamata Shinsuke @kecnis

メンバーの心理的柔軟性が高くても、チームの学習行動は促進されないが、リーダーの心理的柔軟性が高いと、チームの学習行動も向上する！ これはなるほど..！！ #JTF2019

m.hagiwara @corestate55

分散システムのテストは可能か? #JTF2019 #JTF2019_A

一般男性 a.k.a 陽だまりの草原 @aabbss757

「はてなSREチームにおけるスクラムの実践」 @hokkai7go さん #JTF2019_C

ちひろ@新卒 @chiroruxxxx

分散システムの証明の話きくぞ～～ #JTF2019

安田俊之@Saleshub @TakataNoToshi

弊社CTO @yoshi111kazu の講演始まりました。 #JTF2019_E #JTF2019 pic.twitter.com/pLXnk3np7r

拡大

zaki @zaki_hmkc

分散システムのテストとは？そもそも可能なのか？ #JTF2019_A #JTF2019

Yasuhiro1711 @yasuhiro1711

良いドキュメントは周りを動かす！ そうだよなぁ。 #JTF2019_F #JTF2019

こば -Koba as a DB engineer- @tzkb

Kubernetes、3つ続くよー。 #JTF2019

うらく@メインはFediverseに引っ越し済み @lf_ur_

#JTF2019_A 分散システムのテストは可能なのか

あいさか @mist_dev

インターネットが大好き、ってのはてなすごいいいよな〜 #JTF2019 #JTF2019_C

ちひろ@新卒 @chiroruxxxx

インフラエンジニアじゃないので最初から置いていかれてる #JTF2019

たふみ @CreatorQsF

#JTF2019 #JTF2019_A twitter.com/y_taka_23/stat…

チェシャ猫 @y_taka_23

@CreatorQsF Coq は定理証明に、 TLA+ は主にモデル検査に使用されます。Coq では再帰を用いて数学的帰納法を表現して関数の性質を証明しますが、TLA+ が行うのは状態空間の探索です。前者は真に無限の入力を扱える代わりに証明の構築には人の手が必要で、後者は探索範囲が限られる代わりにほぼ自動化が可能です。

2019-10-14 04:42:58