なさだ十三

50歳が近づいてきたプログラマ、朝食抜きダイエットを継続中。ダイエット記録は、毎週日曜日の夜に投稿します。

なさだ十三

50歳が近づいてきたプログラマ、朝食抜きダイエットを継続中。ダイエット記録は、毎週日曜日の夜に投稿します。

  • 朝食抜きダイエット

  • AWSにおける形式手法

    AWSで形式手法を導入した経緯を説明した論文を読んでいきます.

ダイエット22週間経過 70.05→64.29kg

この冬は寒くて, できる限り布団の中で過ごすようにした結果, 体を動かしていません. ダイエットのためにやっていることは, 朝食を抜くことと, 毎朝, 冷水のシャワーを２分間浴びることの２つです. 合わせて, １０日後に献血する予定なので, １月３日から禁酒をしています. １月３日の体重が64.91kgでしたので, ３週間で600gほど減りました. まともに体を動かしていない割には, いい感じで体重が減っています. 寒さにも体が慣れてきたので, 体を動かす量を少し増やして

なさだ十三

    • ダイエット19週間経過 70.05→64.91kg　(先々週から+1180g)

      年末からの正月休みは例年より寒く, つい食べすぎてしまいました. 寒いとカロリーが欲しくなります. その結果, 体重が1kgほど増えてしまいました. 年に１回のことなので, これぐらいは問題ないことにします. 明日はまだ１月４日ですが, 日常生活に戻します. 体重もすぐに戻るはずです.

      なさだ十三

      • ダイエット17週間経過 70.05→63.73kg　(先週から-230g)

        寒くなってくると布団から出るのが辛くて, 睡眠時間を長めに取るようにしています. 夜は9時に寝て, 朝5時に起きることにしたので, 筋トレができていません. それでも体重が減っていくので,このままでも良さそうですが, 筋トレした方がいいに決まっているので, 工夫していきます. 筋トレはサボっているのですが, 朝の冷水シャワーは続けています. 2分間にも慣れてきました. シャワーを浴び終わると背中が熱くなり, 脂肪が燃えているような気がします.

        なさだ十三

        • ダイエット16週間経過 70.05→63.96kg　(先週から-170g)

          朝食抜きダイエットを始めて16週間が経過しました. 先週に引き続き腰痛ということでダラダラと過ごし, 筋トレはしていません. それでも体重は減っていきます. 週の後半, 調子が良くなってきたので, 土曜日にゆっくりとジョギングをしてみました. 久々にジョギングをしたので, ペースは1kmを7分程度とゆっくりにしたのですが, 6kmを過ぎたあたりからヒザの周りの筋肉が痛み, 何とか10kmを走りきれました. 情けない. 夕方に10kmを走ったので, 夕食では1ヶ月ぶりにビー

          なさだ十三

        マガジン

        • 朝食抜きダイエット
          14本
        • AWSにおける形式手法
          3本

        記事

          AWSにおける形式手法 - 前書き(3/4) 並列分散処理は難しい

          先週, 時間が取れず, 時間が空いてしまいました. 前書きの第3段落目を読んで, 私が理解できたことは次の通りです. 後半が少し怪しいですが, 大筋では間違ってないと思います. S3はユーザが預けたデータを格納し処理する数あるAWSのサービスの一つに過ぎない. データを保護するために, これらサービスの核となる部分は, 耐障害性のある分散アルゴリズムに採用しており, レプリケーション, 一貫性, 同時実行制御, オートスケーリング, 負荷分散, その他協調して動作する処理

          なさだ十三

          AWSにおける形式手法 - 前書き(3/4) 並列分散処理は難しい

          なさだ十三

          スマホ脳(アンデシュ・ハンセン著, 新潮新書) ドラッグとしてのスマホ

          著者はスウェーデンの精神科医であり, この本では著者の専門分野である心理学や脳科学の知見から, スマホが人を惹きつける理由を説明しています. 人類の進化の歴史を繙くと, そのほとんどはアフリカのサバンナで100人から150人程度の群れで生活していました. 当時の環境は過酷で, 生まれた子供の半数は10歳までに死亡し, 飢餓, 病気, 怪我, 争い事などにより, 平均寿命は30歳と短命でした. 人類にはそのような環境で生き延びるための性質が備わっています. 例えば, 食べ物

          なさだ十三

          スマホ脳(アンデシュ・ハンセン著, 新潮新書) ドラッグとしてのスマホ

          なさだ十三

          スマホ脳（アンデシュ・ハンセン著, 新潮新書）幸せって何だっけ？

          この本の主旨から外れますが, 気になった記述がありました. スウェーデンといえば幸福度ランキングの上位常連国であり, 2020年は７位でした. 日本は62位と低迷しています. 「スマホ脳」の著者, アンデシュ・ハンセンはスウェーデン人で, この本の５５ページに幸福なスウェーデンについて次のように書いてあります. 引用します. 96万9516人。とっさに読み間違えたかと思ったが、そうではなかった。スウェーデン社会庁のデータベースによれば、2018年12月現在、16歳以上の

          なさだ十三

          スマホ脳（アンデシュ・ハンセン著, 新潮新書）幸せって何だっけ？

          なさだ十三

          ニトリの働き方（似鳥昭雄著, 大和書房）社内システムも自前で開発

          ニトリの判断基準に4つのCがあります. １．Change ２．Challenge ３．Competition ４．Communication この本ではCごとに章を設け, それぞれに似鳥会長のありがたいお言葉が並べられてあります. それに加え, ニトリの役員や従業員がそれぞれのテーマについて気づき, 実行してきた事を述べてあり, 私としてはそちらの方が参考になりました. ニトリは取り扱っている商品の製造から物流, 販売まで自社で手がけており, それが強みとなって業績は好

          なさだ十三

          ニトリの働き方（似鳥昭雄著, 大和書房）社内システムも自前で開発

          なさだ十三

          ダイエット15週間経過 70.05→64.13kg　(先週から-360g)

          朝食抜きダイエットを始めて15週間が経過しました. 今週は昼食を控えめにできたので, 先週から-360gと順調に体重が減りました.  今週は仕事が忙しく残業が多かったので, 睡眠時間を優先したために朝の筋トレは休みました. また, 働きすぎでしょうか, 腰痛になりました. 若くは無いということです. よくあるダイエット法はダイエットのために何かをしますが, ダイエットより優先すべき事が出てくると破綻しがちです. 私のダイエット法のキモは朝食を抜くですから, こういう時でも

          なさだ十三

          ダイエット15週間経過 70.05→64.13kg　(先週から-360g)

          なさだ十三

          ダイエット14週間経過 70.05→64.49kg　(先週から-70g)

          朝食抜きダイエットを始めて14週間が経過しました. 先週に引き続き停滞しています. 今週も自宅で昼食を取ることが多かったことが原因です.  来週に期待します. 体重は毎日, 朝と夕方の２回, 計測しています. 昼食の量が適切ですと, 夕方の体重は朝と比較して700gぐらい減ります. その日の体重は一番低い値を採用していますので, 過剰に最適化してしまったようです.  ですので, 体重として朝の体重を採用した方が正確かもしれません. 今から体重の測定方法を変えるとややこしい

          なさだ十三

          ダイエット14週間経過 70.05→64.49kg　(先週から-70g)

          なさだ十三

          AWSにおける形式手法 - 前書き(2/4) AWSのサービスの内部構造は複雑

          前書きの第２段落目を読んで理解できたことは次の通りです. AWSでは, ユーザにとって使いやすい簡潔なサービスを造るために懸命に努力してきた. この外から見た簡潔さは, 表から見えない複雑な分散システムの基盤の上に成り立っている. このような内部的な複雑さは, システムを安価なサーバ機器で稼働させつつ高い可用性を実現し, しかも, 急速かつ絶え間なく増加するデータ量に対処するためである. データ量の増加の例を一つ挙げてみる. 2006年にS3(Simple Storage

          なさだ十三

          AWSにおける形式手法 - 前書き(2/4) AWSのサービスの内部構造は複雑

          なさだ十三

          AWSにおける形式手法 - 前書き(1/4) 論文を書いた動機

          AWSの技術者が形式手法を導入した経緯と成果を論文に発表しています. この論文を少しづつ読み進めていきます. 前書きの第１段落を読んで, 私が理解できたことは次の通りです. 2011年から, AWSの技術者はシステム設計に関する困難な課題を解決するために, 形式手法とモデル検査を使ってきた. この論文では, 著者たちの動機と経験, つまり, 著者たちが抱えている問題に於いて,  何が上手くでき, 何が上手くできなかったかを述べている. 個人的な経験を述べる時は, 著者のイ

          なさだ十三

          AWSにおける形式手法 - 前書き(1/4) 論文を書いた動機

          なさだ十三

          素子の碁(新井素子著, 中公文庫) 囲碁のルールは簡単すぎる

          新聞などで囲碁の話題が出ると, 将棋が引き合いに出されることが多く, 以前, こんな感じのことが書かれていました. 囲碁は将棋と比べてルールが複雑で, ・・・・・ この記事を書いた記者は, 囲碁のルールを知らずに書いているとしか思えません. 「素子の碁」でも, 囲碁を始めた人にルールを説明するとき, ルールが簡単過ぎることに著者が悩んでいます. 将棋のルールと囲碁のルールを比較してみます. １）コマの種類 将棋には, 玉(王), 金, 銀, 桂馬, 香車, 飛車,

          なさだ十三

          素子の碁(新井素子著, 中公文庫) 囲碁のルールは簡単すぎる

          なさだ十三

          ダイエット13週間経過 70.05→64.57kg　(先週から+130g)

          朝食抜きダイエットを始めて13週間が経過しました. 今週は, 先週と比べて+130gと体重が増えてしまいました. 原因を考えてみました. １）筋トレしているから筋肉が増え, その結果, 体重が増えた. ２）食べすぎた. 筋トレ説を採用したいところですが, 食べ過ぎ説が妥当でしょう. なんとなく, 無理をして食べているような気がします.  来週は, 自宅で昼食を食べることが多くなりそうなので, 対策が必要です. 自宅にいる日はジョギングをしてカロリーを消費してみます.

          なさだ十三

          ダイエット13週間経過 70.05→64.57kg　(先週から+130g)

          なさだ十三

          未知の分野に飛び込んで無力感を味わう

          １年半ぐらい前からギターの練習を始めました. ギターは中学校の音楽の授業で習ったクラシックギター以来です. 私, 音痴でして, 音叉を使ったチューニングができず, 音楽の授業では苦労しました. 今は, 機械の指示通りにチューニングすれば良いのでありがたいことです. ギターを弾けるようになりたい, が直接の動機ですが, それ以外にも理由があります. 未知の分野に飛び込んで無力感を味わう 歳を取ると仕事の内容や生活パターンが固まってしまって, ほとんどの事柄を予想できてし

          なさだ十三

          未知の分野に飛び込んで無力感を味わう

          なさだ十三

          電磁波過敏症を誤解していたかも

          嫁さんが化学物質過敏症になってしまい, その症状の話題の中で電磁波過敏症があると聞きました. 何でも携帯電話, IHなどが発する電磁波により, 化学物質過敏症と同じような症状が出るそうです. 初めて聞いた時, 電波で神様と交信できるあっちの世界に行ってしまった人たち, つまり精神疾患だろうと判断しました. しかし, そういうこともあるかも知れないと考えを改めました. 私の愛読書「サバイバルボディー」では, 驚異的な方向感覚の持ち主がいたと書いてあります. イギリス人海洋

          なさだ十三

          電磁波過敏症を誤解していたかも

          なさだ十三