1. このLTは業務とは関係なく
G*テクノロジーをお楽しみ
頂くため、邪魔にならない
程度の差し障りのないカオ
スな与太話をお楽しみいた
だくLTです。

2. G*ワークショップ in 福岡
2012/09/01

3. お前誰よ
• 名前：杉浦孝博
• twitter：@touchez_du_bois

4. 閑話休題

5. 今期の
おススメアニメ
と言えば

7. おススメ
その１

8. 中の人

9. 蕪羅亭魔梨威
佐倉綾音さん
(ぶらてい まりい)

10. 防波亭手寅
山本希望さん
(ぼうはてい てとら)

11. 波浪浮亭木胡桃
小岩井ことりさん
(はろうきてい きぐるみ)

12. 個人的に

13. 空琉美遊亭丸京 ナンジョルノさん
※本名：南條愛乃さん
(くうるびゆうてい がんきょう) ※fripSideの中の人

14. 暗落亭苦来
弱い方の後藤さん
(あんらくてい くくる) ※本名：後藤沙緒里さん

15. おススメ
その２

16. エンディングが
謎のユニット
桃黒亭一門

17. 桃黒亭ちび太 桃黒亭でこ八 桃黒亭なめんな
桃黒亭ぷに丸 桃黒亭腹ぺこりの助
http://official.stardust.co.jp/momokurotei/

18. おススメ
その３

19. 落語ネタ

20. といっても

21. 寄席の楽屋での
ガールズトーク

22. または

23. 寄席の外での
ガールズトーク

24. を
楽しむ番組
ですが。

25. 閑話休題

26. 落語

27. class 落語 {
}

28. class 落語 {
def 演目名
def まくら
def 噺
def 下げ
}

29. import org.gcontracts.annotations.*
@Invariant({ 演目名 && まくら && 噺 && 下げ })
class 落語 {
def 演目名 // 噺の名前
def まくら // 導入部
def 噺 // 本題
def 下げ // オチとか
落語(演目名, まくら, 噺, 下げ) {
this.演目名 = 演目名
this.まくら = まくら
this.噺 = 噺
this.下げ = 下げ
}
}

30. 噺家

31. class 噺家 {
}

32. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 名前
def 羽織？ = true
def トリ？ = false
噺家(名前) {
this.名前 = 名前
}
}

33. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 羽織？ = true
def トリ？ = false
…
@Requires({ 落語 })
def 落語を一席(落語) {
まくらを話す(落語.まくら)
噺を話す(落語.噺)
下げを話す(落語.下げ)
}

34. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 羽織？ = true
def トリ？ = false
…
@Requires({ 落語 })
def 落語を一席(落語) {
まくらを話す(落語.まくら)
羽織を脱ぐ()
噺を話す(落語.噺)
下げを話す(落語.下げ)
}

35. なぜか？

36. •
「まくらが終わって、ここから
噺が始まりますよ」という合図
•
脱いだ羽織は別の目的で使われ
る
•
脱がない人がいる

37. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 羽織？ = true
def トリ？ = false
…
@Requires({ まくら && 羽織？ })
@Ensures({ 羽織？ })
private まくらを話す(まくら) {
talk まくら
}
}

38. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 羽織？ = true
def トリ？ = false
…
@Requires({ 羽織？ })
@Ensures({ (!トリ？ && !羽織？) ¦¦
(トリ？ && 羽織？) })
private 羽織を脱ぐ() {
if (!トリ？) {
羽織？ = false
}
}

39. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 羽織？ = true
def トリ？ = false
…
@Requires({ 噺 &&
((!トリ？ && !羽織？) ¦¦
(トリ？ && 羽織？)) })
private 噺を話す(噺) {
…
}
}

40. @Requires({ 噺 &&
((!トリ？ && !羽織？) ¦¦
(トリ？ && 羽織？)) })
private 噺を話す(噺) {
talk 噺
while (!羽織が回収された？) {
噺を伸ばす()
}
}

41. なぜか？

42. •
次の出番の人が来る、或いは用
意できるまでつなぐ必要がある
•
用意ができたら羽織が回収され
る
•
羽織が回収されたら下げへ

43. import org.gcontracts.annotations.*
@Invariant({ 名前 })
class 噺家 {
def 羽織？ = true
def トリ？ = false
…
@Requires({ 下げ })
private 下げを話す(下げ) {
…
}
}

44. def トリ？ = false
…
@Requires({ 下げ })
private 下げを話す(下げ) {
talk 下げ
if (!トリ？) {
talk お後がよろしいようで
}
}

45. お後がよろしいようで
•
元々は「次の出番の人の準備ができ
ました」という意味で使われる。
•
「うまいこと言うたった 」は、本来
の使い方ではない。
•
トリの人は基本的に言わない。

46. 閑話休題

47. で、

48. 今までのプログラムを
動かしてみると

49. こうなりますた。

54. 結論

55. 落語を聴きに行こう！
http://rakugomatsuri.com/

56. お後がよろしいようで
(↑本来とは違った使い方)

57. ご清聴ありがとうござ
いました。