[特設]サマータイム対応相談室

[特設]サマータイム対応相談室 at TECH

[前50を表示]
550:デフォルトの名無しさん
18/08/21 23:53:50.88 3gTjznwF.net
するわけがない

551:デフォルトの名無しさん
18/08/21 23:54:32.32 ubmHyRTx.net
>>531
では表示の問題とはなんですか？

552:デフォルトの名無しさん
18/08/21 23:55:19.52 3gTjznwF.net
UTC基準のｼﾘｱﾙ値保存してるのに
ﾌｧｲﾙのﾀｲﾑｽﾀﾝﾌﾟが変わるﾜｹがない
普通にmakeでもなにも問題おきなし

553:デフォルトの名無しさん
18/08/21 23:56:07.34 ubmHyRTx.net
表示の問題とは何ですか？って質問です

554:デフォルトの名無しさん
18/08/21 23:56:54.49 3gTjznwF.net
時刻の大小関係が狂うことなんかないからな
makeは依存関係とﾀｲﾑｽﾀﾝﾌﾟのﾙｰﾙに基づいて動く
一切問題なんかおきない

555:デフォルトの名無しさん
18/08/21 23:57:42.84 ubmHyRTx.net
ほうほうそれで表示の問題とは何ですか？

556:デフォルトの名無しさん
18/08/21 23:58:36.63 EIn52tlL.net
>>485
VTOCは対応してないぞ
COBOLもアウトだ
汎用機どうにもならん

557:デフォルトの名無しさん
18/08/22 00:03:30.79 cgNlHyUI.net
ﾌｧｲﾙのﾀｲﾑｽﾀﾝﾌﾟの表示で
具体的な問題なんか発生しない
ﾀｲﾑｽﾀﾝﾌﾟの大小関係の整合がくずれることはない
※ UTC基準で正確な時刻だからな

558:デフォルトの名無しさん
18/08/22 00:03:56.59 yaQgvnB8.net
スマホ未満のシーケンサーとかIoT機器とか逆に鯖よりでかい汎用機は厳しいな
バッチスケジュールがサマータイムと重なる鯖もやばい
簡単に出来ると言う奴死んでくれ

559:デフォルトの名無しさん
18/08/22 00:04:02.32 cgNlHyUI.net
対応できないのは触らなければいい

560:デフォルトの名無しさん
18/08/22 00:05:20.70 DjdqEJdz.net
>>538
表示の問題だと言ったのは先生ですが
それは撤回されるという事ですね？

561:デフォルトの名無しさん
18/08/22 00:05:51.26 yaQgvnB8.net
>>538
UTC対応してない汎用機のトランザクションログどうするのよ
ファイルシステムもローカル時間だよ

562:デフォルトの名無しさん
18/08/22 00:06:45.36 cgNlHyUI.net
表示の問題で
問題がおきることはない
低学歴知恵遅れの日本語ﾘﾃﾗｼの低さは異常だからな

563:デフォルトの名無しさん
18/08/22 00:07:58.78 yaQgvnB8.net
>>543
あるわいボケ
WindowsとLinuxだけがOSじゃないんだぜ

564:デフォルトの名無しさん
18/08/22 00:08:02.36 DjdqEJdz.net
>>543
表示する上でも重複起きないですか？

565:デフォルトの名無しさん
18/08/22 00:08:47.20 zKJOcwC8.net
レシートのタイムスタンプも修正必要？

566:デフォルトの名無しさん
18/08/22 00:10:59.08 Sj5zqs8z.net
UTC時刻は連続で、それらの差でそのまま時間が計算できる時刻の表現方法。
ローカルタイムはUTCの一価の写像で不連続で、それらの差がそのまま時間にならない時刻の表現方法。
合ってる？

567:デフォルトの名無しさん
18/08/22 00:11:02.31 cgNlHyUI.net
表示で重複おきようがおきまいが
なんの問題もおきないからな

568:デフォルトの名無しさん
18/08/22 00:13:25.43 DjdqEJdz.net
>>548
見てわかんないじゃないですか

569:デフォルトの名無しさん
18/08/22 00:15:02.44 DjdqEJdz.net
ローカルタイムに依存するものはシステムも業務も
影響受けるんですよ、だからサマータイムは大変なんです

570:デフォルトの名無しさん
18/08/22 00:16:00.90 cgNlHyUI.net
ﾀｲﾑｿﾞｰﾝが併記されてたらわかる
別に夏時間がおわったら
現時点の時差に従って時刻を表示すればしまいだからな
どうでもいい仕様の決めの問題
このとおり
URLﾘﾝｸ(i.imgur.com)
①日本時間（ﾀｲﾑｽﾀﾝﾌﾟ）
URLﾘﾝｸ(i.imgur.com)
②ｻﾊﾘﾝ時間（ﾀｲﾑｽﾀﾝﾌﾟ）
ﾎﾝﾄなかわいそうなぐらい頭悪い

571:デフォルトの名無しさん
18/08/22 00:17:36.80 DjdqEJdz.net
UTCに変換すれば良い
UTCから変換すればいいというのは
その通りなんだけど銀行潰れるとわかってて金預ける人がいないように
今現在ローカルタイムに依存してしまってるものがあるでしょうと

572:デフォルトの名無しさん
18/08/22 00:18:25.29 cgNlHyUI.net
ﾆｭｰﾖｰｸはいま
夏時間でﾀｲﾑｿﾞｰﾝはEDT
夏時間が終われﾀｲﾑｿﾞｰﾝはESTになる

573:デフォルトの名無しさん
18/08/22 00:18:56.71 DjdqEJdz.net
>>551
それで何が解決するん？
サマータイムの問題は何かしら？

574:デフォルトの名無しさん
18/08/22 00:19:51.37 cgNlHyUI.net
むしろなんの問題もおきないことが証明されてる
低学歴知恵遅れが
低学歴知恵遅れな作りにしなければな

575:デフォルトの名無しさん
18/08/22 00:20:48.94 cgNlHyUI.net
そもそも解決すべき問題がない
意味不明なことを問題だと思いたい低学歴知恵遅れのｵﾂﾑの問題

576:デフォルトの名無しさん
18/08/22 00:22:09.08 DjdqEJdz.net
>>556
ではサマータイムの対応で先生にできることは
何もないのでご卒業おめでとうございます

577:デフォルトの名無しさん
18/08/22 00:22:29.98 Sj5zqs8z.net
>>552
ローカルタイムは不連続関数なのに連続関数と仮定して作られたシステム？

578:デフォルトの名無しさん
18/08/22 00:23:16.22 DjdqEJdz.net
>>558
誰お前、先生に言いつけるぞ

579:デフォルトの名無しさん
18/08/22 00:23:56.93 DjdqEJdz.net
先生、スレのOBとしてやっちゃってください

580:デフォルトの名無しさん
18/08/22 00:27:10.40 ObhFVXyF.net
>>551
それだと例えば5月のファイルのタイムスタンプもサハリン時間で表示されてしまう

581:デフォルトの名無しさん
18/08/22 00:27:37.81 cgNlHyUI.net
なんの問題もない

582:デフォルトの名無しさん
18/08/22 00:29:40.50 cgNlHyUI.net
むしろ全体で連続してる
すべてUTCを基準にした
ｻﾊﾘﾝ時間基準
すべて夏時間基準(JDT)になってる
なにも間違ってない

583:デフォルトの名無しさん
18/08/22 00:30:45.70 DjdqEJdz.net
一方そのころサハリンでは

584:デフォルトの名無しさん
18/08/22 00:31:37.38 DjdqEJdz.net
他所の国のタイムゾーンに依存してホンマに大丈夫なんでっか？

585:デフォルトの名無しさん
18/08/22 00:33:41.09 DjdqEJdz.net
タイムゾーンの使い方を間違えてると思うの
日本マイクロソフトがきっとなんとかしてくれるよ

586:デフォルトの名無しさん
18/08/22 00:34:22.98 cgNlHyUI.net
知恵遅れが知恵遅れな作りにしてなければ
なんの問題も起きない
ﾀｲﾑｿﾞｰﾝなんかただの相対値の定義だからな

587:デフォルトの名無しさん
18/08/22 00:36:34.28 cgNlHyUI.net
ﾆｭｰﾖｰｸはいま
夏時間でﾀｲﾑｿﾞｰﾝはEDT
夏時間が終われﾀｲﾑｿﾞｰﾝはESTになる
このとおり夏時間は
ﾀｲﾑｿﾞｰﾝを切り替えてるだけだからな

588:デフォルトの名無しさん
18/08/22 00:37:52.25 DjdqEJdz.net
>>567
サハリンのタイムゾーンに依存する日本のシステム
を推奨するわけですね先生は
そしてそれは賢いことだとお考えですね

589:デフォルトの名無しさん
18/08/22 00:38:44.60 DjdqEJdz.net
>>568
サハリン？　サハリンの実績は？

590:デフォルトの名無しさん
18/08/22 00:39:42.38 cgNlHyUI.net
回避できない問題なんかないということだからな
MSが対応しなくても回避できる

591:デフォルトの名無しさん
18/08/22 00:40:20.09 DjdqEJdz.net
サハリンに依存するシステムは嫌だわ
サハリンのことなんか何も知らんし

592:デフォルトの名無しさん
18/08/22 00:41:00.23 DjdqEJdz.net
>>571
サハリンに依存することでか？

593:デフォルトの名無しさん
18/08/22 00:42:25.24 DjdqEJdz.net
ローカルタイムに依存するシステムが沢山あっても不思議じゃないな
今現在サハリンに依存するシステムを構築する先生もいる

594:デフォルトの名無しさん
18/08/22 00:43:24.88 cgNlHyUI.net
ｻﾊﾘﾝはSFでは帰属未定地
ｳﾝｺｿ連が不法占拠してる
歴史的に日本固有の領土

595:デフォルトの名無しさん
18/08/22 00:47:54.04 DjdqEJdz.net
>>575
ワロてもうたわくそが

596:デフォルトの名無しさん
18/08/22 02:16:54.09 AXf2QKcH.net
>>537
それはODをUTCで設定しない馬鹿が悪い

597:デフォルトの名無しさん
18/08/22 02:22:42.15 feXPALIV.net
上の方で地域によっても年ごとにサマータイムは違うという話に対して
IANAのデーターベースまで持ってきた先生が
なんで時差が同じなら別地域のタイムゾーンを流用していいなんて後退をしてるのか、ｺﾚｶﾞﾜｶﾗﾅｲ

598:デフォルトの名無しさん
18/08/22 02:41:01.36 3u9WNKO9.net
調べてみたら、ロシアの標準時って変更される事があるんだね。

599:デフォルトの名無しさん
18/08/22 06:22:43.77 1ZySJXOP.net
とりあえずこのスレのみんなでサハリンに視察に行こう。
幸い引率の先生もいらっしゃることだし。

600:デフォルトの名無しさん
18/08/22 11:54:02.89 0XlZNPWV.net
半角くんの引率でサハリン旅行は楽しそうだな
機内では国境を超えた瞬間にみんなでスマホのタイムゾーンを変えて、盛大にお祝いしよう

601:

602:デフォルトの名無しさん
18/08/22 12:45:47.13 g2YEMIVY.net
サマータイムはなにも悪くない
ローカルタイムとかいう人間向けに整形された時刻の表現方法を機械システム内部に使ってるやつが悪い

603:デフォルトの名無しさん
18/08/22 12:48:10.34 O2PM/1qE.net
>>582
ローカルタイム使わないと、サマータイムに対応できないじゃん
ローカルタイムは自動的に時間を制御してくれるけど、
UTCを使ってるとサマータイムになっても時間ずらしてくれないよ

604:デフォルトの名無しさん
18/08/22 12:54:33.89 BKQgx/dM.net
むしろ世界中の時計の時刻をUTCにしたらいいじゃないか？

605:デフォルトの名無しさん
18/08/22 13:04:10.09 LAzf51US.net
>>583
ローカルタイムは人間向けの表現方法だから(機械内部のUTC表現から変換して)表示部にだけ使うのが真っ当だと思わない？

606:デフォルトの名無しさん
18/08/22 13:06:29.28 IfumfbHf.net
逆に人間から入力されたローカルタイム形式の時刻表現は機械内部に取り込むときにUTCに逆変換する

607:デフォルトの名無しさん
18/08/22 13:11:46.94 0XlZNPWV.net
>>586
その時に入力者がUTC+9とUTC+11のどちらを意図してるかを明示してもらわないといけなくなると思うんだけど、どうすんのがベストなんだろ。

608:デフォルトの名無しさん
18/08/22 13:12:22.28 IfumfbHf.net
>>587
そんなのシステムのロケールに従うに決まってるだろ

609:デフォルトの名無しさん
18/08/22 13:15:49.90 0XlZNPWV.net
>>588
それじゃダメじゃん。
UTC+11になってる期間に、サマータイム終了後のUTC+9の時刻の入力をすることは当然ありうるんだから。
今のシステムがUTC+11だからといって入力者がそれを意図してるかは分からない。
もっと言えばアップデートが提供されず、タイムゾーンがUTC+9で固定されたままのAndroidユーザーが入力してくるケースとかもあるわけで。
クライアントのロケールと入力者の意図は必ずしも一致しない。

610:デフォルトの名無しさん
18/08/22 13:18:54.59 0XlZNPWV.net
ローカルタイムだとサマータイム終了日の午前2時は2回やってくるんだから、
単に02:00とだけ入力された場合、それがUTC換算でどちらを意図した時刻なのかは自明にはなり得ない。

611:デフォルトの名無しさん
18/08/22 13:35:05.80 O2PM/1qE.net
>>585
ん？コンピュータを使うのは人間なんだから
人間にわせたほうが良いでしょ。
コンピュータに合わせて2進数使うとかおかしいし
なによりコンピュータは人間が楽をするために作られた道具

612:デフォルトの名無しさん
18/08/22 17:03:34.92 nGc79qSt.net
ローカルタイムには、存在しない日時(サマータイム開始直後)もあったりすんだよね

613:デフォルトの名無しさん
18/08/22 17:10:14.01 C7qNO044.net
>>591
表示部にだけ使うっていってんだろ
文盲かよ

614:デフォルトの名無しさん
18/08/22 17:11:07.78 I86cqmu2.net
>>591
半角先生もそうだけど、コンピュータの中のことしか考えてない奴が一定数いるんだよな
それを使う人間と、その人間がやりたいことが出来るかという視点がスッポリ抜け落ちてる

615:デフォルトの名無しさん
18/08/22 17:15:11.80 StT9/L8q.net
>>589
入力したローカルタイムをunixtimeに変換するシステムの関数がその時刻がサマータイムか判定すればいい気がするけど。
２番目のことについてはその通りでたしかにその問題は残る
古いのを使ってるくせにまともな動作を期待するなって言っとけばいい

616:デフォルトの名無しさん
18/08/22 17:16:48.20 U3N+h8F9.net
>>590
その問題も残る
人間形式を複雑にすればするほど入力も複雑になる当たり前の摂理

617:デフォルトの名無しさん
18/08/22 17:17:39.15 feXPALIV.net
>>589-590
OSの地域設定とTZデータベースがちゃんとしてれば
未来の時間を入力されたところで、その日がサマータイム対象かどうかを考慮した変換してくれるはず……
でも後でサマータイムが変更になったらまあ発狂せざるを得ないわな
(二年だけといっていたなあれは嘘だ、とか普通にありそうだし)
�

618:竄ﾁぱり入力時に意図されたであろう時差もペアで記録しておくのが現実的かね

619:デフォルトの名無しさん
18/08/22 17:18:53.42 lRAN2Avu.net
>>594
だから人間とのインターフェースは人間寄りにするって言ってんだろ
計算機が内部では2進数で扱うが表示部は10進数にするのと同じだよ

620:デフォルトの名無しさん
18/08/22 17:29:03.17 feXPALIV.net
傍目にも >>583は言葉足らずに思えるので、「やりたいこと」を当ててみるか
毎日定時(ローカルタイム)に行う処理があって、加えて特定の日付でそれに依存した追加処理をしたい
将来サマータイムが変更されても問題ないように作りたいのでローカルタイムで記録することに意味がある、とかかな
現実には結構多いケースかもしれない

621:デフォルトの名無しさん
18/08/22 17:41:44.07 Sj5zqs8z.net
>>595の後半は強引すぎた
サマータイムに対応済みか条件文で判定できるようにして対応してなかったら適当な処理をする

622:デフォルトの名無しさん
18/08/22 17:43:57.06 Sj5zqs8z.net
>>597
発狂はしない
unixtimeで保存するから人間形式の仕様が変わっても関係無い

623:デフォルトの名無しさん
18/08/22 17:46:22.87 Sj5zqs8z.net
>>599
なくね？全部unixtimeで処理・保存すればいい気がするけど
かんがえるのめんどいからなんか具体例だしてみ

624:デフォルトの名無しさん
18/08/22 17:47:57.23 I86cqmu2.net
>>595
Androidの場合は大して古くなくてもアップデートが提供されないからなかなか切り捨てにくいよなあ
どうすっぺかねほんと

625:デフォルトの名無しさん
18/08/22 17:49:50.56 Sj5zqs8z.net
>>603
>>600

626:デフォルトの名無しさん
18/08/22 17:53:49.16 I86cqmu2.net
>>604
すまん見逃してた。そうね、未対応なクライアントに関しては強制的にJSTとみなすのが現実的かね。

627:デフォルトの名無しさん
18/08/22 17:54:47.13 feXPALIV.net
>>601
いやいや、入力した人間の意図なんてわかんないだろ
外国の放送を録画したいとかあるかもしれないし

628:デフォルトの名無しさん
18/08/22 17:57:31.38 Sj5zqs8z.net
>>606
そんなのサマータイム以前の時差の問題だろ
今現在そういうサービスとかでどういう処理してるか考えれば問題起こらないことわかると思うけど

629:デフォルトの名無しさん
18/08/22 18:00:11.10 feXPALIV.net
>>602
例もなにもそのまんま、5年後の正午(ローカル)になんかしたいけどサマータイム本当に2年で終わるのかなあ心配だなあ
どう転んでもいいようにローカルタイムで保存しとけ、って発想で作られるシステムは出てくるはず

630:デフォルトの名無しさん
18/08/22 18:01:41.86 Sj5zqs8z.net
複雑怪奇な人間フォーマットのままで内部処理するシステムが悪
単純で全世界共通で絶対的なunixtimeに正規化してから処理するべきだと思うけど

631:デフォルトの名無しさん
18/08/22 18:04:18.63 Sj5zqs8z.net
>>608
サマータイムが終わろうが始まろうがunixtimeで処理すれば何の影響もなくね？

632:デフォルトの名無しさん
18/08/22 18:06:32.61 feXPALIV.net
>>607
未来の時刻を入力後にサマータイムのルール自体が変更になった、という仮定の話なのはOK？
unixtimeのみで記録していると国内時間を意図していた時にずれるし
時差込みで記録していても海外時間を意図していた時にずれる
ユーザーの意図なんてわかんないだろ

633:デフォルトの名無しさん
18/08/22 18:07:59.27 Sj5zqs8z.net
>>611
なるほど

634:デフォルトの名無しさん
18/08/22 18:10:51.57 O2PM/1qE.net
>>593
> 表示部にだけ使うっていってんだろ
翻訳じゃないんだから、サマータイムは表示だけの問題じゃないぞ
具体的に言えば、サマータイムに入る当日
ローカルタイムの1日は23時間になる。
UTCは変わらず24時間にもかかわらずだ。
そしてサマータイムが終わる日、その日は25時間になる
表示だけの問題じゃない。一日の長さが変わるんだよ

635:デフォルトの名無しさん
18/08/22 18:11:43.52 O2PM/1qE.net
>>610
> サマータイムが終わろうが始まろうがunixtimeで処理すれば何の影響もなくね？
unixtimeで処理したら、一日の長さが23時間または 25時間に
なる場合に対応できない

636:デフォルトの名無しさん
18/08/22 18:14:28.74 Sj5zqs8z.net
はぁ...

637:デフォルトの名無しさん
18/08/22 18:15:39.28 Sj5zqs8z.net
つらい

638:デフォルトの名無しさん
18/08/22 18:20:58.04 O2PM/1qE.net
具体的に言うと、サマータイム開始の日が夜勤の場合、労働時間が1時間短くなる。
その当日だけ、1時間分給料を減ら�

639:ｳなければならない。逆にサマータイムが終わる人は労働時間を1時間増やすことになる

640:デフォルトの名無しさん
18/08/22 18:23:05.29 O2PM/1qE.net
サマータイムで切り替わった日の朝は1時間早くこなければいけない
ローカルタイムの出勤時間は何も変わらないが、
unixtimeで扱っている場合は、一時間出勤時間を変更しなければいけない

641:デフォルトの名無しさん
18/08/22 18:24:48.80 Sj5zqs8z.net
思考停止してる

642:デフォルトの名無しさん
18/08/22 18:27:38.07 O2PM/1qE.net
>>619
いいからなにか言い返せよｗ
1時間が23時間になる場合にどうやって対処しろと？

643:デフォルトの名無しさん
18/08/22 18:32:43.09 O2PM/1qE.net
夜間バッチの実行にも支障が出るからな。
夜間が1時間短くなるということは、1時間早く実行しなければ朝まで間に合わないかもしれない。
だが、1時間早く実行しようとしたら、まだ業務中かもしれない。
1時間早く処理するために、プログラムの見直しやサーバー増強が必要になるかもしれない
unixtimeで扱っていると、サマータイムがないのと同じ時間で処理されてしまう
つまりunixtimeはサマータイムに対応していないも同然

644:デフォルトの名無しさん
18/08/22 18:35:51.91 O2PM/1qE.net
unixtimeのどこにいても変わらないという性質は
日本のサマータイムを無視するという意味になるからな。
サマータイムに対応するにはunixtimeで処理してはダメだということだ

645:デフォルトの名無しさん
18/08/22 18:44:28.34 feXPALIV.net
>>620
虐めんなw
考え直せるなんて5chでの議論相手としては相当に上等だぞ

646:デフォルトの名無しさん
18/08/22 19:00:02.56 qeeSAqiw.net
>>617
開始時間と終了時間をUTCで記録すればなんの問題もないね

647:デフォルトの名無しさん
18/08/22 19:03:51.26 O2PM/1qE.net
朝9時になったぞ。なんで機械は動いてないんだ！？
unixtime処理してますので、後一時間後には動きます
時計は9時を指してるぞ？どういうことだ？
だからーそれは表示がそうなってるだけなんだってー
人間のほうが一時間はやく起きてきたんでしょー
コンピュータは正確なの

648:デフォルトの名無しさん
18/08/22 19:06:16.06 O2PM/1qE.net
>>624
UTCで記録したらサマータイム中でも
一時間早くならないじゃんｗ

649:デフォルトの名無しさん
18/08/22 19:07:42.05 3pfLjmIv.net
結局就業時間がUTC基準で数時間ズレる事実はどうにもならないのね

650:デフォルトの名無しさん
18/08/22 19:15:03.16 O2PM/1qE.net
サマータイムがないUTCの時間で行動しましょうっていうのは
結局サマータイム批判ではないか

651:デフォルトの名無しさん
18/08/22 19:45:25.33 O2PM/1qE.net
結局の所、本質は日本人が1時間早く行動しましょうっていうことだからね
時間がずれるのではなく、人間の行動時間がずれる
システムはその人間の時間に合わせないといけない
ローカルタイムを使っていれば、勝手に時間を合わせてくれるけど
UTCを使っていると、時間を合わせてくれない。
だから別途サマータイムへの対応の修正が必要になる。

652:デフォルトの名無しさん
18/08/22 20:17:05.48 oqm7/Tfy.net
>>618
日跨ぎ処理なんかに影響が出そうだよな

653:デフォルトの名無しさん
18/08/22 20:59:32.26 cgNlHyUI.net
相変わらず低学歴知恵遅れは頭悪いわ
低学歴知恵遅れはｸｿ頭悪いからちょっとした工夫すらできない
で、ｸｿ頭悪いｼｽﾃﾑ作るﾜｹ
例えば年間の営業時間ﾃﾞｰﾀﾍﾞｰｽがある
ｺｲﾂはﾛｰｶﾙﾀｲﾑで保存する（念のため一緒にUTCの通秒値も保存するのがﾍﾞｽﾄ）
ﾀｲﾑｿﾞｰﾝがかわっても固定だ
で、その場合でも必ずそのﾛｰｶﾙﾀｲﾑからその時点のUTCの通秒値に変換してから処理する
考え方は簡単
低学歴知恵遅れでなければ
こんなことすぐに分かるし気付くからな
たとえば計算機を日本からｱﾒﾘｶへもっていって
計算機が提供するｻｰﾋﾞｽは同じだとする
しかし計算機はｱﾒﾘｶにあるから
とりあえずｱﾒﾘｶのﾀｲﾑｿﾞｰﾝにあわせる
そのときｱﾒﾘｶの時刻になると困る部分だけ
ﾛｰｶﾙﾀｲﾑで保存や処理をすればｲｲﾜｹだからな
それ以外はすべてUTCでいい
ともかくな低学歴知恵遅れのｸｿﾆｰﾄと底辺ﾄﾞｶﾀの知能は低すぎるﾜｹ
まず出発点の考え方が間違ってるからな

654:デフォルトの名無しさん
18/08/22 21:08:50.05 Sj5zqs8z.net
>>631
なるほど

655:デフォルトの名無しさん
18/08/22 21:21:25.02 Sj5zqs8z.net
>>611
>>597の通り、入力時に意図した機械内部表現から人間フォーマットに変換する関数を併記しないと正しくデコードできないな

656:デフォルトの名無しさん
18/08/22 21:24:54.41 Sj5zqs8z.net
>>613
ローカルタイム形式の時刻表現は単純に差分を取るだけでは時間を計算できない表現方法だからでは？

657:デフォルトの名無しさん
18/08/22 21:27:09.44 Sj5zqs8z.net
>>614
＞一日の長さが23時間または 25時間になる
人間フォーマット時刻で単純な差分で計算したら見かけ上はそう見えるだけで絶対的な時間はそんなことならないのでは？

658:デフォルトの名無しさん
18/08/22 21:30:16.67 Sj5zqs8z.net
>>626
ローカルタイムからunixtimeに変換するときにちゃんと時間がずれることね？

659:デフォルトの名無しさん
18/08/22 21:35:46.42 Sj5zqs8z.net
>>621
終了時刻のunixtimeから処理時間を引いたunixtime形式の開始時間をローカルタイム形式で入力すればいいのでは？　そもそもローカルタイムは単純な加減算で時間の計算はできない表現方法だし。

660:デフォルトの名無しさん
18/08/22 21:38:07.34 Sj5zqs8z.net
>>622
ローカルタイムの加減算で時間を計算したり足したりするから問題が起きるので？
そもそもローカルタイム形式は単純な減算では時間を計算できない表現方法だし。
時間の計算はunixtimeでやるべきなのでは？

661:デフォルトの名無しさん
18/08/22 21:39:18.50 Sj5zqs8z.net
>>627
ローカルタイム形式では時間の計算はできないからでは？

662:デフォルトの名無しさん
18/08/22 21:43:53.43 Sj5zqs8z.net
保存はunixtimeからローカルタイムへのエンコード関数を併記した形式で、計算や処理はunixtimeで、表示は適切なエンコード関数でローカルタイムにエンコードされた時刻表現でおこなうようにシステムを作るべきでは？

663:デフォルトの名無しさん
18/08/22 21:55:11.64 z4qSfGT7.net
先生はサハリンで分身の術を身に付けました

664:デフォルトの名無しさん
18/08/22 21:59:15.17 z4qSfGT7.net
>>631
先生、UTCで保存してても地域時間の5時までに終わらせなければいけない処理を
地域時間の4時にスケジュールしてたら調整が必要になりますよね
URLﾘﾝｸ(light.dotup.org)
地域時間に依存してる処理が多いのがサマータイムの対応で大変なところですよね

665:デフォルトの名無しさん
18/08/22 22:01:11.64 Sj5zqs8z.net
具体的には >>611の場合には
未来で開始された定期実行サービスは保存されたunixtimeとエンコード関数のペアを取り出したあと、unixtimeを取り出されたエンコード関数でローカルタイムにエンコードした後、未来の時点でのエンコード関数の逆関数でローカルタイムをunixtimeでデコードすればいい

666:デフォルトの名無しさん
18/08/22 22:02:01.61 Sj5zqs8z.net
unixtimeにデコード

667:デフォルトの名無しさん
18/08/22 22:04:48.25 z4qSfGT7.net
UTCでスケジューリングしつつ、サマータイムが導入されたら
時間をずらす作業が必要ですね
UTC使ってるから問題ないんだとはならないですよね
なぜならば業務は地域時間に依存してるから
UTCを使っていても地域時間に合うようにスケジューリングを調整しないといけない

668:デフォルトの名無しさん
18/08/22 22:05:51.54 z4qSfGT7.net
簡単なバッチのスケジューリングだけでも面倒に思えてきますね

669:デフォルトの名無しさん
18/08/22 22:07:57.71 Sj5zqs8z.net
>>645
目的の時刻の表現方法がローカルタイムならスケジューリングの入力もローカルタイムにするべきじゃね？

670:デフォルトの名無しさん
18/08/22 22:08:34.85 Sj5zqs8z.net
人間はローカルタイムしか入力しない

671:デフォルトの名無しさん
18/08/22 22:09:15.99 Sj5zqs8z.net
内部で適切な処理をしてunixtimeに変換する

672:デフォルトの名無しさん
18/08/22 22:11:45.23 Sj5zqs8z.net
人間はなにも考えずに時計をみて入力すればいい

673:デフォルトの名無しさん
18/08/22 22:11:51.85 cXjfJaZN.net
その「適切な処理」が9時間なのか11時間なのかは入力者に明示してもらわない限り分からないって、上で言われてたやん

674:デフォルトの名無しさん
18/08/22 22:14:17.17 Sj5zqs8z.net
>>651
システムのロケールと入力された時刻の日付で人間の手を借りずにデコードできることね？
終了時にある一時間が重複するのが唯一の弊害

675:デフォルトの名無しさん
18/08/22 22:16:02.69 cXjfJaZN.net
>>652
唯一だけど割と致命的だわね

676:デフォルトの名無しさん
18/08/22 22:17:18.32 Sj5zqs8z.net
>>653
複雑な表現方法には複雑な入力方法が付きまとうのは当然の摂理
それをちゃんとやれば何の問題もない
それで人間フォーマットの自由度が無限大になる

677:デフォルトの名無しさん
18/08/22 22:21:07.41 z4qSfGT7.net
>>647
スケジューリングが地域時間に依存するとたとえば
地域時間の2:00に実行する処理はサマータイム突入時に処理されなくて
サマータイム脱出時に2回実行されちゃうの
URLﾘﾝｸ(light.dotup.org)

678:デフォルトの名無しさん
18/08/22 22:36:35.07 yaQgvnB8.net
>>650
2時間サマータイム非対応で1時間ずれた時計使っていたらどうする？
シンプルにやるならシステムはUTCで完結させて
入力者とか部屋の壁に換算表貼っておく
履歴データの洗い替えがそれでも面倒だよな

679:デフォルトの名無しさん
18/08/22 22:46:49.67 1ZySJXOP.net
何だ、いつの間にか先生みたいなのが1人増えたのか。
◯◯になっていれば問題ないと言われても、そ�

680:閧痰ｻうですね、としか言えんわ。現実にはそうなってないシステムが大半だから問題なんだっての。

681:デフォルトの名無しさん
18/08/22 22:58:39.10 Sj5zqs8z.net
>>657
サマータイムは悪くない
悪いのは不正な方法で構築されたシステム
適切にローカルタイムとunixtimeを使い分けて作り上げればサマータイム何かでは動じない&ユーザーを極端に煩わすことないシステムを作れる
と言いたいだけ
だからやるべきは不正な方法で構築されたシステムを一新することのただ一点
ユーザーがサマータイムを意識して極端にややこしい操作を強いられるというような問題は本来起こらないからサマータイム導入の不便はそこではない

682:デフォルトの名無しさん
18/08/22 23:00:30.08 0XlZNPWV.net
この人なんかアカデミックセクターの人っぽい
思考が完全に実務から乖離してる

683:デフォルトの名無しさん
18/08/22 23:01:19.41 z4qSfGT7.net
>>659
それ僕も思いました
生活は地域時間に依存してて
業務は生活に依存してて
システムは業務に依存してる
システム => 業務 => 生活 => 地域時間 => タイムゾーン => UTC
みたいな

684:デフォルトの名無しさん
18/08/22 23:03:56.48 Sj5zqs8z.net
完成された理論をモチベーションにして地道な作業をするべきといいたいのかもしれない
そのためには数学的に思考を整理するべきだと思う

685:デフォルトの名無しさん
18/08/22 23:04:21.85 1ZySJXOP.net
半角君といい、言ってることがただの理想論だからな

686:デフォルトの名無しさん
18/08/22 23:05:27.98 Sj5zqs8z.net
>>662
目を向けるべきは実際に行われる地道な作業ではなく数学的根拠だとおもう

687:デフォルトの名無しさん
18/08/22 23:06:02.00 0XlZNPWV.net
だめだこりゃ

688:デフォルトの名無しさん
18/08/22 23:08:13.91 Sj5zqs8z.net
根拠がはっきりとあるのに作業がめんどくさいとかいうひくい次元の議論を延々とする価値はないとおもう

689:デフォルトの名無しさん
18/08/22 23:09:54.12 1ZySJXOP.net
マジで学生っぽい
社会性なさそうだからポスドクとかかもしれない

690:デフォルトの名無しさん
18/08/22 23:10:09.19 Sj5zqs8z.net
努力するば幸せになるという絶対的な法則があったとして、でも努力がめんどくさいよぉとか延々に呟くことは最適解ではないとおもう

691:デフォルトの名無しさん
18/08/22 23:23:01.07 z4qSfGT7.net
作業に手間がかかることはサマータイムを実施しない方が良いことの理由になると思うけどね
サマータイムを導入する事によって得られるものはなんですか
サマータイムを導入する事によって生まれる負担はどれだけですか
それらを秤にかけて割に合わないと思われることを面倒くさいと表現してるだけで
そういうところに引っかかるのってなんだか数学者らしくないなって思った
> 努力がめんどくさいよぉとか延々に呟くことは最適解ではない
これはストローマン論法、別名バカの論法と呼ばれるものだから
数学的な思考が大事だと言うならあまりやらない方が・・・

692:デフォルトの名無しさん
18/08/22 23:23:28.31 feXPALIV.net
>>667
努力云々は置いといて、本来必要のない出費(社会人の時間はイコール金だ)を
迫られる人災のようなもんだからみんなやる気ないんだよ
勉強などの投資と異なり何をどうやっても利益には繋がらんしな
そして無事乗り切ったとしても裏方を知らないやつには大したことなかったのに大騒ぎしやがってと言われるだけなのは
2000年問題で経験済みでもある
あと、夜行便到着しない問題は物理的に解決しようがない

693:デフォルトの名無しさん
18/08/22 23:24:04.33 Sj5zqs8z.net
ちなみにマジで学生
感覚的に思考回路50%活性状態で考えて書いてきたから数学的な根拠に基づいた最適システムを達成するための案として不完全だと思う

694:デフォルトの名無しさん
18/08/22 23:26:09.01 z4qSfGT7.net
>>670
数学科？

695:デフォルトの名無しさん
18/08/22 23:26:29.43 Sj5zqs8z.net
>>668
>>669
なるほど
このスレのプログラマは数学的最適と経済的利益を天秤にかけてたのか

696:デフォルトの名無しさん
18/08/22 23:28:35.19 Sj5zqs8z.net
>>671
何科とかもない全部やる工業

697:大学の凡人だから数学的根拠とか言ってるけど全部なんちゃって数学

698:デフォルトの名無しさん
18/08/22 23:40:42.68 yaQgvnB8.net
>>665
サマータイムやらなければ良い
という根本的解決法がありますよ
抜本的解決さ

699:デフォルトの名無しさん
18/08/22 23:43:02.65 z4qSfGT7.net
>>672
> このスレのプログラマは数学的最適と経済的利益を天秤にかけてたのか
そんなこと言ってないよ、君の早合点だよ
森元さんは数学的最適(?)だからサマータイム導入するぞおらー
と声がけしてるわけではないっしょ、今年の夏は暑かったねオリンピックの年も
死ぬほど暑いだろうからサマータイム導入したらどうかねーという趣旨でしょ
サマータイム導入の目的はオリンピックの猛暑対策
それと経済的な損失を秤にかけて、割に合わんよねってこと
数学的最適については意味がわからない

700:デフォルトの名無しさん
18/08/22 23:47:13.50 z4qSfGT7.net
>>673
数学って印象は欠片もなかった、どちらかというと文学って思った

701:デフォルトの名無しさん
18/08/22 23:58:12.57 z4qSfGT7.net
サマータイム漱石

702:デフォルトの名無しさん
18/08/23 00:08:39.83 cdbDyqt4.net
> 感覚的に思考回路50%活性状態
なんだろう、不思議と胸が締め付けられる

703:デフォルトの名無しさん
18/08/23 00:09:38.46 cdbDyqt4.net
邪気眼が完全覚醒しちゃいそう

704:デフォルトの名無しさん
18/08/23 03:37:26.07 ncZgpeak.net
>>675
> 森元さんは数学的最適(?)だからサマータイム導入するぞおらー
> と声がけしてるわけではないっしょ、今年の夏は暑かったねオリンピックの年も
> 死ぬほど暑いだろうからサマータイム導入したらどうかねーという趣旨でしょ
そんなわけないだろｗ
サマータイム導入するとその対応で仕事が増える
金を出す方は大変だが、金をもらう方の会社と裏でつながってるんだろ
結局は箱物事業と一緒、無駄なものを作って裏金をもらってる
暑さ対策なら1時間早く起きればいい話。早起き運動をしましょうでおわる
それぐらい思いつかないバカなわけ無いでしょ？

705:デフォルトの名無しさん
18/08/23 05:38:17.55 SEysIBeq.net
対応できない所が沢山有る
それが解るのにサマータイムを勧めるのはただのアホです

706:デフォルトの名無しさん
18/08/23 05:54:30.27 jFi7Ee35.net
数学的というより思想や哲学の類の非実用的な思考だと思ってたけどw

707:デフォルトの名無しさん
18/08/23 06:53:50.86 flbUPANi.net
>>676
本人は論理的厳格さとして数学的だと言ってるのかもしれないけど、端から見ればただの机上の空論で、現実の様々な問題点を無視して事象を意図的に単純化して考えていて、悪い意味での数学っぽさはあったように思う。少なくとも工学、エンジニアリングの議論ではない。

708:デフォルトの名無しさん
18/08/23 07:06:56.45 ncZgpeak.net
単純化っていうかUTCはサマータイムがないから
サマータイムを無視すれば問題は起きないって言ってるだけだからな。
仮にJSTが+9じゃなくて+0、つまりUTCになったとして
じゃあUTCにサマータイムを導入されても、サマータイム無視して
問題ないかっていうと当然そんなわけないわけで
サマータイム無視していいなら、JSTであつかっていても
サマータイム無視すればいいはずなんだよ。

709:デフォルトの名無しさん
18/08/23 07:13:28.14 Uk+EdnP3.net
ﾛｰｶﾙﾀｲﾑでも重なることなんかあるﾜｹがないからな
それは低学歴知恵遅れが頭悪い表示にしてるのがﾜﾙｲ
※　低学歴知恵遅れの自分の頭の悪さを棚にあがて
※　低学歴知恵遅れがおかしいおかしいと騒いでるﾜｹ
※　おかしい低学歴知恵遅れのｵﾂﾑというのがまだ理解できてない
ﾛｰｶﾙﾀｲﾑに空白ができることも重複することもあるﾜｹがないからな
ｺﾚもこのｽﾚの初期の段階ですでに説明済 >>115
入力でも同じことだからな
つまりﾀｲﾑｿﾞｰﾝが保存されてなかったり、
表示されてなかったりする数字の羅列は
ﾛｰｶﾙ時刻ですらない、ただの数字の羅列（どこの時刻かすら分からない）
ﾛｰｶﾙ時刻の情報がそもそも欠落してるﾜｹだからな、もともとﾛｰｶﾙ時刻と呼べるｼﾛﾓﾉじゃない
低学歴知恵遅れは今度は入力の場合がどうこうと騒いでるが
ｺﾚでも問題なんかおきようがないからな
すでに説明してるとおり
すべて低学歴知恵遅れの知能の低さの問題

710:デフォルトの名無しさん
18/08/23 07:15:29.03 Uk+EdnP3.net
　▽[02]：▽[00]　JST UTC+0900
と表示れてれば混乱なんかおきようがない
たとえばNYは夏時間
　▽[02]：▽[00]　EDT UTC-0400
冬時間になればこうなる
　▽[02]：▽[00]　EST UTC-0500
この例ならもともと日付なんか入ってないからな
なんらかのﾀｲﾑｿﾞｰﾝを意図した入力ｲﾝﾀｰﾌｪｰｽになる
※ 入力するやつは特定のﾀｲﾑｿﾞｰﾝを前提に入力してるﾜｹだからな
当然ﾀｲﾑｿﾞｰﾝを選択できるｲﾝﾀｰﾌｪｰｽもｱﾘだ
　▽|EDT UTC-0400|
　　|EST UTC-0500|
ここまで理解力が低いことから
軽度の池沼と推認される
海外ではなんの問題もなく普通に夏時間が運用されてるからな
問題はすべて低学歴知恵遅れのｵﾂﾑの問題
それ以外なにもない

711:デフォルトの名無しさん
18/08/23 07:18:43.30 yP/v/nVx.net
>>680
サマータイムの対応で仕事は増えるだろうけど
企業の利益につながるとは思えないだよね
サマータイム対策補助金とか作って
その金を回してもらうってのはあるかもしれない
政府が金を出して政治家の懐に入るODA方式
金もらうのが目的なら表に出てきてワシがやりましたとは
言わないんじゃないかなと
橋龍や野田が増税したように国の制度を変えることは
政治家の名誉欲を刺激するんじゃないかなと
名誉欲のためにサマータイム導入されたらかなわんけどね
オリンピックの競技時間は地域時間のこの時間でないと
いけませんって言うのが決まってたら早起き運動ではダメかもしれない
そうだとしてもサマータイム導入するよりもオリンピック委員会と交渉するのが先だね
日本の運動会は秋にやるのが通例なのでオリンピックも秋にやったら良いと思う
オリンピックは開催国の文化に合わせてやるってのも有りだと思うけどね
歴史があるとそう簡単に変えられないだろうけど
森元さんにはそういう方向でのリーダシップを期待したい
頑張れ森元さん
5chは森元さんを応援しています

712:デフォルトの名無しさん
18/08/23 07:24:36.95 Uk+EdnP3.net
政府はｶﾈなんか一銭もだすﾜｹがない
低学歴知恵遅れがただ働きで治さないといけない
ほぼすべてが低学歴知恵遅れの瑕疵責任
低学歴知恵遅れに由来しない軽微な作業は
それはすべてﾕｰｻﾞｰの自己負担
低学歴知恵遅れなｼｽﾃﾑでもないかぎり大したｶﾈなんかかかるﾜｹがないからな

713:デフォルトの名無しさん
18/08/23 07:27:09.89 yP/v/nVx.net
>>685
サマータイムが存在しなかったからタイムゾーンを表記する必要はないんだよ
だからタイムゾーンを含まないのがデフォだと思うんですよ
そうするとタイムゾーンを含むように修正するって作業が必要になりますね
cronも時差を指定できるんでしたっけ？

714:デフォルトの名無しさん
18/08/23 07:29:02.87 Uk+EdnP3.net
まともなｼｽﾃﾑなら
現在ｼｽﾃﾑは表示も入力も夏時間になってます
といえれば、おわりだからな

715:デフォルトの名無しさん
18/08/23 07:29:48.32 +Bg6Oozu.net
「べき論」垂れ流しの半角先生
お仕事したことないのかな？

716:デフォルトの名無しさん
18/08/23 07:29:54.48 Uk+EdnP3.net
改修すら不要
改修が必要なのは低学歴知恵遅れのｵﾂﾑの問題

717:デフォルトの名無しさん
18/08/23 07:31:02.91 Uk+EdnP3.net
べきじゃない
低学歴知恵遅れがゆえにおこした　瑕　疵　だからな

718:デフォルトの名無しさん
18/08/23 07:33:27.04 Uk+EdnP3.net
このｽﾚの低学歴知恵遅れは
ｸｿﾆｰﾄなのがよくわかるわ

719:デフォルトの名無しさん
18/08/23 07:33:37.07 yP/v/nVx.net
>>692
サハリン先生、サマータイムのある地域でのcronのスケジューリングってどうやってるんですか？
本当に何も対応が必要ないならやり方を教えて欲しいなと

720:デフォルトの名無しさん
18/08/23 07:34:35.07 b+vV9Eld.net
オリンピック以降永遠にサマータイム導入が無くても
そのUIを維持しないといけない訳か

721:デフォルトの名無しさん
18/08/23 07:36:02.63 Uk+EdnP3.net
cronをﾛｰｶﾙﾀｲﾑで設定したいなら
まともなｼｽﾃﾑならすでにこうなってる
CRON_TZ=Asia/Tokyo

722:デフォルトの名無しさん
18/08/23 07:37:02.89 +Bg6Oozu.net
人間が存在しないシステムで得意になってる半角先生
世間と没交渉の引きこもりなのかな？

723:デフォルトの名無しさん
18/08/23 07:38:17.38 Uk+EdnP3.net
低学歴知恵遅れがなにをいってもﾑﾀﾞだからな
低学歴知恵遅れのｵﾂﾑの問題なのは
すべて証明されてる

724:デフォルトの名無しさん
18/08/23 07:40:00.03 yP/v/nVx.net
>>697
ローカルタイムに依存すると↓この問題が起こりますよ
URLﾘﾝｸ(light.dotup.org)
これを回避するにはcronでジョブごとに時差を指定できないといけないんじゃないかなと
そういうことってできるんですか？
サマータイムのある地域ではどのようにするのがセオリーなんでしょか？

次ページ