AIが無かった頃の素敵な出会いの話

Transcript

1. AIが無かった頃の 素敵な出会いの話 株式会社コドモン 松浦 康介
2. ※先にご案内※ 5分ギリギリなので 早口です🙏 2
3. いやはや AI時代ですね 3
4. Github Copilotの登場は 2021年 4
5. ChatGPTの登場は 2022年 5
6. ここ4年ですごく浸透 6
7. 今日はAI時代の前の ノスタルジーな話 7
8. さて、それは何年前の話？ 8
9. 今から遡ること 9
10. 444年前の話 10
11. 1582年 11
12. 時は戦国 12
13. 安土桃山時代 13
14. 1582年の 有名な出来事 14
15. 本能寺の変 (1582年6月21日) 15
16. 1582年6月 歴史が変わった 16
17. この年の10月 17
18. 暦史も変わった 18
19. ここでクイズ 19
20. 1582年10月4日の翌日は？ 20
21. 1582年 Q. 10月4日の翌日は？ A. 10月15日(+11日) 21
22. 123 4 5 6 7 8 9 10 11 12 13 14 15 10日間くらい スキップされてる 22
23. 1582年は 10月5日〜14日 存在しないらしいです 23
24. ウソみたいな真実 24
25. え？何言ってるの？ って感じですよね？ 25
26. でも本当なのです 26
27. 何が起きたか 27
28. 当時使われていた ユリウス暦から 28
29. 現行のグレゴリオ暦に 変わった 29
30. ユリウス暦はうるう年の 考慮がやや弱く 30
31. 実世界と暦が10日間くらい ズレてしまっていた 31
32. 例: 夏至とか冬至の日付と 実世界の明るさがズレちゃう (あくまでイメージとして) 32
33. グレゴリオ暦では うるう年の扱いを改善する 33
34. ユリウス暦→グレゴリオ暦 に変えよう in 1582年 34
35. by グレゴリウス13世 35
36. 変えるにあたって すでに約10日ズレいる 36
37. まあ、省いちゃおう (強気の運用回避) 37
38. みたいな流れらしい 38
39. ちなみに 39
40. うるう年の判定 40
41. as 隠れ Hello World (みんな一度は通るのでは？) 41
42. 覚えてますか？ スラスラ言えちゃう？ 42
43. (私は言えない) 43
44. 西暦年号が 1. 4で割り切れること 2. ただし、100で割り切れて 400で割り切れない年は平年 44
45. 一般解 45
46. function isLeapYear($year) { // 「4の倍数かつ100の倍数でない」 // または「400の倍数」なら true return ( ($year % 4 === 0 && $year % 100 !== 0) || $year % 400 === 0 ); } 46
47. 実はこれ、 現行のグレゴリオ歴での うるう年の定義 47
48. ユリウス暦の判定は シンプル 48
49. function isLeapYear($year) { // 「4の倍数かつ100の倍数でない」 // または「400の倍数」なら true return ( ($year % 4 === 0 && $year % 100 !== 0) || $year % 400 === 0 ); } 49
50. function isJulianLeapYear($year) { // 4の倍数はうるう年 return $year % 4 === 0; } 50
51. 4で割り切れたらうるう年 という割り切り 51
52. でも実運用上のズレは 割り切りにくい 52
53. そのズレを抑える例外が グレゴリオ暦では追加 53
54. ユリウス暦(4の倍数) + いくつかの修正(例外) = グレゴリオ暦 54
55. みたいなイメージ (コード上は) 55
56. ここから小話 56
57. 私がなぜこれを知ったか 57
58. 私のキャリアが始まった 2009年(グレゴリオ暦) 58
59. Javaを勉強 JavaDocとか色々読んでた (PHPじゃなくてごめんね) 59
60. 日付関連のパッケージで 偶然訪れた素敵な出会い 60
61. java.util.Calendar setLenient(boolean) 61
62. Lenient means 寛容 62
63. setLenient(true) 不正な日付を黙って繰上げ補正 (ちなみにデフォルト動作) 63
64. setLenient(false) 不正な日付で IllegalArgumentException 64
65. 「不正な日付」とは？ 65
66. うるう年 ◯2028年2月29日 ×2029年2月29日 66
67. 存在しない日付 ◯2026年7月31日 ×2026年7月32日 67
68. 存在しない日付2 ユリウス暦とグレゴリオ暦の狭間 ×1582年10月5〜14日 68
69. これを「暦狭間の戦い」と言う (言わない) 69
70. この暦の「狭間」の話 70
71. PHPでの暦の扱いは？ 71
72. 基本、寛容らしい 72
73. checkdate() 73
74. 1582年10月5〜14日の 存在しない日付 →許容(優しい) 74
75. グレゴリオ歴の仕様上は◯ その運用実績としては△ 75
76. こういうことなのかな (正確じゃない、ごめんね) 76
77. これはAIに聞いた (誠実であろう) 77
78. ちなみにグレゴリオ暦も 完璧じゃなく、ズレるらしい 78
79. 実際の1年（太陽年） 約365.2422日 365.0日ではない 79
80. 「1年」の長さ 天文学的な1年 （太陽年） 約365.2422日 0.2422日の端数 ユリウス暦 平均365.2500日 約11分長い グレゴリオ暦 平均365.2425日 約26秒長い 80
81. 1年あたり26秒ズレ 81
82. どうやら 約3300年に1日ズレるらしい 82
83. つまり、今から1274年後の 西暦3000年 83
84. 現行グレゴリオ歴と実世界は 1日ズレる 84
85. その日まで 共に長生きしましょう 85
86. 西暦年号が 1. 4で割り切れること 2. ただし、100で割り切れて 400で割り切れない年は平年 3. 4000で割り切れる年は平年 86
87. うるう年の判定に 条件を追加する案もあるらしい 87
88. が、まだ実現していない 88
89. なぜなら、 1000年以上も先のこと 89
90. かつ、 地球の自転速度も関係する 90
91. ちなみに、地球の自転は 少しずつ遅くなっているらしい (1000年後の予測が難しい) 91
92. つまり、自然現象の話と 制度としての暦の話があり 現時点で決めにくい 92
93. AIに聞いても答えが出ない系 面白いですね〜 93
94. そしてうるう年の話は 「AIに答えを聞く」じゃ 辿り着きにくい系 94
95. これで私の話は おしまいなのですが 95
96. デフォルトで「寛容」な みなさんへ改めてお願い 96
97. ここまでの話、 間違いがあるかもしれないので 97
98. setLenient(true) //寛容 98
99. とご理解いただけると ありがたいです 99
100. なにとぞ 🙏 100
101. さて、 地球(自転)を取り巻く環境も 大切ですが 101
102. 子どもたちを 取り巻く環境も大切 102
103. 私はそういう思いが強く そういう会社にいます 103
104. お時間あれば スポンサーブースに ぜひお越しください 104
105. ありがとうございました 105