File tree Expand file tree Collapse file tree
contracts/contract_violation
linear_congruential_engine Expand file tree Collapse file tree Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2024-06-11T22:45:38 +09:00 ">
205- 2024年06月11日 22時45分38秒 (JST)
204+ datetime ="2026-09-17T11:50:52 +09:00 ">
205+ 2026年09月17日 11時50分52秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -292,7 +292,7 @@ <h2>例</h2>
292292< span class ="p "> }</ span >
293293</ code > </ pre > </ div >
294294</ div > </ p >
295- < h3 > 出力 </ h3 >
295+ < h3 > 出力例 </ h3 >
296296< p > < pre > < code > 2019-12-20 10:05:05
2972972019-12-20 10:05:05.330140 UTC
2982982019-12-20 19:05:05.330140 JST
Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2025-07-10T10:26:30 +09:00 ">
205- 2025年07月10日 10時26分30秒 (JST)
204+ datetime ="2026-09-17T11:51:26 +09:00 ">
205+ 2026年09月17日 11時51分26秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
209- < span itemprop ="name "> Koichi Murase </ span >
209+ < span itemprop ="name "> Akira Takahashi </ span >
210210 </ span >
211211 が更新
212212 </ small > </ p >
@@ -262,7 +262,7 @@ <h2>バージョン</h2>
262262< ul >
263263< li > C++26</ li >
264264</ ul >
265- < h2 > 処理系</ h2 >
265+ < h3 > 処理系</ h3 >
266266< ul >
267267< li > < a href ="../../../implementation.html#clang "> Clang</ a > : ??</ li >
268268< li > < a href ="../../../implementation.html#gcc "> GCC</ a > : ??</ li >
Original file line number Diff line number Diff line change 189189 < p class ="text-right "> < small >
190190 最終更新日時:
191191 < time itemprop ="datePublished " class ="js-local-time "
192- datetime ="2026-07-22T16:08:23 +09:00 ">
193- 2026年07月22日 16時08分23秒 (JST)
192+ datetime ="2026-09-17T11:50:52 +09:00 ">
193+ 2026年09月17日 11時50分52秒 (JST)
194194 </ time >
195195 < br />
196196 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
197- < span itemprop ="name "> rotarymars </ span >
197+ < span itemprop ="name "> Akira Takahashi </ span >
198198 </ span >
199199 が更新
200200 </ small > </ p >
@@ -324,7 +324,7 @@ <h2>例</h2>
324324< span class ="p "> }</ span >
325325</ code > </ pre > </ div >
326326</ div > </ p >
327- < h3 > 出力 </ h3 >
327+ < h3 > 出力例 </ h3 >
328328< p > < pre > < code > 2023-02-06 10:46:53 JST: Hello 42 World
329329</ code > </ pre > </ p >
330330< h2 > バージョン</ h2 >
Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2026-09-11T13:06:31 +09:00 ">
205- 2026年09月11日 13時06分31秒 (JST)
204+ datetime ="2026-09-17T11:50:52 +09:00 ">
205+ 2026年09月17日 11時50分52秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -320,7 +320,7 @@ <h2>例</h2>
320320< span class ="p "> }</ span >
321321</ code > </ pre > </ div >
322322</ div > </ p >
323- < h3 > 出力 </ h3 >
323+ < h3 > 出力例 </ h3 >
324324< p > < pre > < code > 15039276
3253259516009
3263262488183
Original file line number Diff line number Diff line change 189189 < p class ="text-right "> < small >
190190 最終更新日時:
191191 < time itemprop ="datePublished " class ="js-local-time "
192- datetime ="2026-09-11T13:06:31 +09:00 ">
193- 2026年09月11日 13時06分31秒 (JST)
192+ datetime ="2026-09-17T11:50:52 +09:00 ">
193+ 2026年09月17日 11時50分52秒 (JST)
194194 </ time >
195195 < br />
196196 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -322,7 +322,7 @@ <h2>例</h2>
322322< span class ="p "> }</ span >
323323</ code > </ pre > </ div >
324324</ div > </ p >
325- < h3 > 出力 </ h3 >
325+ < h3 > 出力例 </ h3 >
326326< p > < pre > < code > 0.93695
3273270.880826
3283280.0535227
Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2026-09-11T13:06:31 +09:00 ">
205- 2026年09月11日 13時06分31秒 (JST)
204+ datetime ="2026-09-17T11:50:52 +09:00 ">
205+ 2026年09月17日 11時50分52秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -322,7 +322,7 @@ <h2>例</h2>
322322< span class ="p "> }</ span >
323323</ code > </ pre > </ div >
324324</ div > </ p >
325- < h3 > 出力 </ h3 >
325+ < h3 > 出力例 </ h3 >
326326< p > < pre > < code > 15028999435905310454
3273277971144115323737315
3283286194890488462973628
Original file line number Diff line number Diff line change 205205 < p class ="text-right "> < small >
206206 最終更新日時:
207207 < time itemprop ="datePublished " class ="js-local-time "
208- datetime ="2026-09-11T13:06:31 +09:00 ">
209- 2026年09月11日 13時06分31秒 (JST)
208+ datetime ="2026-09-17T11:50:52 +09:00 ">
209+ 2026年09月17日 11時50分52秒 (JST)
210210 </ time >
211211 < br />
212212 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -463,7 +463,7 @@ <h2>例</h2>
463463< span class ="p "> }</ span >
464464</ code > </ pre > </ div >
465465</ div > </ p >
466- < h3 > 出力 </ h3 >
466+ < h3 > 出力例 </ h3 >
467467< p > < pre > < code > 822915164
468468932862885
4694691787211539
Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2026-09-11T13:06:31 +09:00 ">
205- 2026年09月11日 13時06分31秒 (JST)
204+ datetime ="2026-09-17T11:50:52 +09:00 ">
205+ 2026年09月17日 11時50分52秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -317,7 +317,7 @@ <h2>例</h2>
317317< span class ="p "> }</ span >
318318</ code > </ pre > </ div >
319319</ div > </ p >
320- < h3 > 出力 </ h3 >
320+ < h3 > 出力例 </ h3 >
321321< p > < pre > < code > 48271
322322215673198
323323339747215
Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2026-09-11T13:06:31 +09:00 ">
205- 2026年09月11日 13時06分31秒 (JST)
204+ datetime ="2026-09-17T11:50:52 +09:00 ">
205+ 2026年09月17日 11時50分52秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -277,7 +277,7 @@ <h2>例</h2>
277277< span class ="p "> }</ span >
278278</ code > </ pre > </ div >
279279</ div > </ p >
280- < h3 > 出力 </ h3 >
280+ < h3 > 出力例 </ h3 >
281281< p > < pre > < code > 0
282282</ code > </ pre > </ p >
283283< h2 > バージョン</ h2 >
Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2026-09-11T13:06:31 +09:00 ">
205- 2026年09月11日 13時06分31秒 (JST)
204+ datetime ="2026-09-17T11:50:52 +09:00 ">
205+ 2026年09月17日 11時50分52秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -320,7 +320,7 @@ <h2>例</h2>
320320< span class ="p "> }</ span >
321321</ code > </ pre > </ div >
322322</ div > </ p >
323- < h3 > 出力 </ h3 >
323+ < h3 > 出力例 </ h3 >
324324< p > < pre > < code > 15039276
3253259516009
3263262488183
You can’t perform that action at this time.
0 commit comments