なさだ十三

50歳が近づいてきたプログラマ、朝食抜きダイエットを継続中。ダイエット記録は、毎週日曜…

なさだ十三

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

マガジン

  • 朝食抜きダイエット

  • AWSにおける形式手法

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

記事一覧

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

この冬は寒くて, できる限り布団の中で過ごすようにした結果, 体を動かしていません. ダイエットのためにやっていることは, 朝食を抜くことと, 毎朝, 冷水のシャワーを2分…

12

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

年末からの正月休みは例年より寒く, つい食べすぎてしまいました. 寒いとカロリーが欲しくなります. その結果, 体重が1kgほど増えてしまいました. 年に1回のことなので, …

3

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

寒くなってくると布団から出るのが辛くて, 睡眠時間を長めに取るようにしています. 夜は9時に寝て, 朝5時に起きることにしたので, 筋トレができていません. それでも体重が…

5

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

朝食抜きダイエットを始めて16週間が経過しました. 先週に引き続き腰痛ということでダラダラと過ごし, 筋トレはしていません. それでも体重は減っていきます. 週の後半, …

2

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

先週, 時間が取れず, 時間が空いてしまいました. 前書きの第3段落目を読んで, 私が理解できたことは次の通りです. 後半が少し怪しいですが, 大筋では間違ってないと思いま…

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

著者はスウェーデンの精神科医であり, この本では著者の専門分野である心理学や脳科学の知見から, スマホが人を惹きつける理由を説明しています. 人類の進化の歴史を繙く…

1

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

この本の主旨から外れますが, 気になった記述がありました. スウェーデンといえば幸福度ランキングの上位常連国であり, 2020年は7位でした. 日本は62位と低迷しています.…

3

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

ニトリの判断基準に4つのCがあります. 1.Change 2.Challenge 3.Competition 4.Communication この本ではCごとに章を設け, それぞれに似鳥会長のありがたいお言葉…

1

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

朝食抜きダイエットを始めて15週間が経過しました. 今週は昼食を控えめにできたので, 先週から-360gと順調に体重が減りました. 今週は仕事が忙しく残業が多かったので, …

5

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

朝食抜きダイエットを始めて14週間が経過しました. 先週に引き続き停滞しています. 今週も自宅で昼食を取ることが多かったことが原因です. 来週に期待します. 体重は毎日…

4

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

前書きの第2段落目を読んで理解できたことは次の通りです. AWSでは, ユーザにとって使いやすい簡潔なサービスを造るために懸命に努力してきた. この外から見た簡潔さは, …

6

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

AWSの技術者が形式手法を導入した経緯と成果を論文に発表しています. この論文を少しづつ読み進めていきます. 前書きの第1段落を読んで, 私が理解できたことは次の通りで…

4

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

新聞などで囲碁の話題が出ると, 将棋が引き合いに出されることが多く, 以前, こんな感じのことが書かれていました. 囲碁は将棋と比べてルールが複雑で, ・・・・・ この…

2

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

朝食抜きダイエットを始めて13週間が経過しました. 今週は, 先週と比べて+130gと体重が増えてしまいました. 原因を考えてみました. 1)筋トレしているから筋肉が増え, そ…

3

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

1年半ぐらい前からギターの練習を始めました. ギターは中学校の音楽の授業で習ったクラシックギター以来です. 私, 音痴でして, 音叉を使ったチューニングができず, 音楽…

5

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

嫁さんが化学物質過敏症になってしまい, その症状の話題の中で電磁波過敏症があると聞きました. 何でも携帯電話, IHなどが発する電磁波により, 化学物質過敏症と同じよう…

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

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

この冬は寒くて, できる限り布団の中で過ごすようにした結果, 体を動かしていません. ダイエットのためにやっていることは, 朝食を抜くことと, 毎朝, 冷水のシャワーを2分間浴びることの2つです. 合わせて, 10日後に献血する予定なので, 1月3日から禁酒をしています.

1月3日の体重が64.91kgでしたので, 3週間で600gほど減りました. まともに体を動かしていない割には, いい感じで

もっとみる
ダイエット19週間経過 70.05→64.91kg (先々週から+1180g)

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

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

明日はまだ1月4日ですが, 日常生活に戻します. 体重もすぐに戻るはずです.

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

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

寒くなってくると布団から出るのが辛くて, 睡眠時間を長めに取るようにしています. 夜は9時に寝て, 朝5時に起きることにしたので, 筋トレができていません. それでも体重が減っていくので,このままでも良さそうですが, 筋トレした方がいいに決まっているので, 工夫していきます.

筋トレはサボっているのですが, 朝の冷水シャワーは続けています. 2分間にも慣れてきました. シャワーを浴び終わると背中

もっとみる
ダイエット16週間経過 70.05→63.96kg (先週から-170g)

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

朝食抜きダイエットを始めて16週間が経過しました. 先週に引き続き腰痛ということでダラダラと過ごし, 筋トレはしていません. それでも体重は減っていきます.

週の後半, 調子が良くなってきたので, 土曜日にゆっくりとジョギングをしてみました. 久々にジョギングをしたので, ペースは1kmを7分程度とゆっくりにしたのですが, 6kmを過ぎたあたりからヒザの周りの筋肉が痛み, 何とか10kmを走りき

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

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

先週, 時間が取れず, 時間が空いてしまいました.

前書きの第3段落目を読んで, 私が理解できたことは次の通りです. 後半が少し怪しいですが, 大筋では間違ってないと思います.

S3はユーザが預けたデータを格納し処理する数あるAWSのサービスの一つに過ぎない. データを保護するために, これらサービスの核となる部分は, 耐障害性のある分散アルゴリズムに採用しており, レプリケーション, 一貫性

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

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

著者はスウェーデンの精神科医であり, この本では著者の専門分野である心理学や脳科学の知見から, スマホが人を惹きつける理由を説明しています.

人類の進化の歴史を繙くと, そのほとんどはアフリカのサバンナで100人から150人程度の群れで生活していました. 当時の環境は過酷で, 生まれた子供の半数は10歳までに死亡し, 飢餓, 病気, 怪我, 争い事などにより, 平均寿命は30歳と短命でした.

もっとみる
スマホ脳(アンデシュ・ハンセン著, 新潮新書)幸せって何だっけ?

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

この本の主旨から外れますが, 気になった記述がありました.

スウェーデンといえば幸福度ランキングの上位常連国であり, 2020年は7位でした. 日本は62位と低迷しています.

「スマホ脳」の著者, アンデシュ・ハンセンはスウェーデン人で, この本の55ページに幸福なスウェーデンについて次のように書いてあります. 引用します.

96万9516人。とっさに読み間違えたかと思ったが、そうではなかっ

もっとみる
ニトリの働き方(似鳥昭雄著, 大和書房)社内システムも自前で開発

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

ニトリの判断基準に4つのCがあります.

1.Change
2.Challenge
3.Competition
4.Communication

この本ではCごとに章を設け, それぞれに似鳥会長のありがたいお言葉が並べられてあります. それに加え, ニトリの役員や従業員がそれぞれのテーマについて気づき, 実行してきた事を述べてあり, 私としてはそちらの方が参考になりました.

ニトリは取り扱ってい

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

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

朝食抜きダイエットを始めて15週間が経過しました. 今週は昼食を控えめにできたので, 先週から-360gと順調に体重が減りました.

今週は仕事が忙しく残業が多かったので, 睡眠時間を優先したために朝の筋トレは休みました. また, 働きすぎでしょうか, 腰痛になりました. 若くは無いということです.

よくあるダイエット法はダイエットのために何かをしますが, ダイエットより優先すべき事が出てくる

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

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

朝食抜きダイエットを始めて14週間が経過しました. 先週に引き続き停滞しています. 今週も自宅で昼食を取ることが多かったことが原因です. 来週に期待します.

体重は毎日, 朝と夕方の2回, 計測しています. 昼食の量が適切ですと, 夕方の体重は朝と比較して700gぐらい減ります. その日の体重は一番低い値を採用していますので, 過剰に最適化してしまったようです.

ですので, 体重として朝の

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

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

前書きの第2段落目を読んで理解できたことは次の通りです.

AWSでは, ユーザにとって使いやすい簡潔なサービスを造るために懸命に努力してきた. この外から見た簡潔さは, 表から見えない複雑な分散システムの基盤の上に成り立っている. このような内部的な複雑さは, システムを安価なサーバ機器で稼働させつつ高い可用性を実現し, しかも, 急速かつ絶え間なく増加するデータ量に対処するためである. データ

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

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

AWSの技術者が形式手法を導入した経緯と成果を論文に発表しています. この論文を少しづつ読み進めていきます. 前書きの第1段落を読んで, 私が理解できたことは次の通りです.

2011年から, AWSの技術者はシステム設計に関する困難な課題を解決するために,
形式手法とモデル検査を使ってきた. この論文では, 著者たちの動機と経験, つまり, 著者たちが抱えている問題に於いて, 何が上手くでき

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

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

新聞などで囲碁の話題が出ると, 将棋が引き合いに出されることが多く, 以前, こんな感じのことが書かれていました.

囲碁は将棋と比べてルールが複雑で, ・・・・・

この記事を書いた記者は, 囲碁のルールを知らずに書いているとしか思えません.

「素子の碁」でも, 囲碁を始めた人にルールを説明するとき, ルールが簡単過ぎることに著者が悩んでいます.

将棋のルールと囲碁のルールを比較してみます.

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

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

朝食抜きダイエットを始めて13週間が経過しました. 今週は, 先週と比べて+130gと体重が増えてしまいました. 原因を考えてみました.

1)筋トレしているから筋肉が増え, その結果, 体重が増えた.
2)食べすぎた.

筋トレ説を採用したいところですが, 食べ過ぎ説が妥当でしょう. なんとなく, 無理をして食べているような気がします.

来週は, 自宅で昼食を食べることが多くなりそうなので,

もっとみる
未知の分野に飛び込んで無力感を味わう

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

1年半ぐらい前からギターの練習を始めました. ギターは中学校の音楽の授業で習ったクラシックギター以来です.

私, 音痴でして, 音叉を使ったチューニングができず, 音楽の授業では苦労しました. 今は, 機械の指示通りにチューニングすれば良いのでありがたいことです.

ギターを弾けるようになりたい, が直接の動機ですが, それ以外にも理由があります.

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

歳を

もっとみる
電磁波過敏症を誤解していたかも

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

嫁さんが化学物質過敏症になってしまい, その症状の話題の中で電磁波過敏症があると聞きました.

何でも携帯電話, IHなどが発する電磁波により, 化学物質過敏症と同じような症状が出るそうです. 初めて聞いた時, 電波で神様と交信できるあっちの世界に行ってしまった人たち, つまり精神疾患だろうと判断しました.

しかし, そういうこともあるかも知れないと考えを改めました.

私の愛読書「サバイバルボ

もっとみる