氷河期世代・ロストジェネレーション世代ブログ村 新着記事

形而上学の無限ループを避けるためのいくつかの質問

①その問題はどう検証できますか？ ②原理的に検証不能な可能性はありますか？ ③今の科学と学問では検証できないことですか？ ④前提に隠れた文脈などはありますか？ ⑤問いの終了条件。探したものが見つかった、見つかっていないは、どう調べますか？ それぞれ、あなたの立場を明示し、その形而上学の問いにあなたは何をかけますか？ なお、立場はコスト0の宣言で変更できます。 また、あなたの帳簿から本件で出ていくものと、得られるもののバランスは取れていますか？ リスクやコストは他人、利益はあなたという外部不経済はないですか？ 以上

カラストラガラ

カラストラガラ@note

「テスト」と「証明」でバグを防ぐソフトウェア検証手法の違い

ソフトウェア開発における形式手法は、数学的に厳密な言語を用いてシステムの要求や仕様を記述し、論理的な整合性を検証するアプローチです。この手法を活用することで、人間の目では発見しにくい隠れた欠陥を見つけ出し、対象部分の安全性や品質を確実に保証することができます。具体的なプロセスとしては、設計段階をチェックするモデル検査や、要求から実装までの過程を追う形式仕様記述、そしてプログラム自体を確かめるプログラム検証に分類されます。これらは、内部構造の有無を確認する一般的なホワイトボックステストやブラックボックステスト、あるいは複数人で成果物を精査するインスペクションとは異なり、高度な数学的根拠に基づいて…

Python転職初心者向けエンジニアリングブログ

Pythonエンジニア

時間と物理（1行日記）

うっかりChatGPT+とClaude Proに質問したら、やたら早口のオタクみたいな感じで、量子力学とかの話をされてます助けて😂

カラストラガラ

カラストラガラ@note

【日常】生まれてからずっと、虫歯になったことがない

歯の治療をしたことがない 生まれてからずっと、虫歯になったことがない 歯医者のお世話になったことがない 初めての歯医者だと驚かれる 特別なことはしていない これは遺伝だと思う まとめ 歯の治療をしたことがない 今週のお題に沿って書いてみたいと思う。テーマは「歯」。 生まれてからずっと、虫歯になったことがない ワタシは生まれてからずっと、虫歯になったことがない。 歯科健診で引っかかることもなく、小学生の頃に市から表彰されたこともある。 なんとなく「やったね」くらいの感想を覚えたのをうっすら覚えている。 歯医者のお世話になったことがない そんなわけで、ワタシは治療を目的として歯医者にお世話になった…

tada

お元気ですか？ワタシは元気です。

2026年秋アニメ何見てる？

生徒会にも穴はある！バーテックスフォース薬屋のひとりごと 第3期は視聴してます。なんとなく惰性で見てる感じです。とはいえ生徒会にも穴はある！バーテックスフォースは久しぶりにノリが10年代アニメ戻ってきた感あってうれしいです。2期3期も

たぬ

48歳早期退職ドル建て社債でFIREしてみた。

特定グループだけにデータを届けるマルチキャスト通信の仕組み

マルチキャスト通信の仕組みと適切なIPアドレスの指定方法について解説したものです。この通信方式は、単一の送信操作で特定の受信者グループへ効率的にデータを届けることが可能であり、不必要な機器へのデータ転送を防ぎながらネットワークの負担を軽減する特長を持っています。通常のIP通信では複数の宛先を同時に指定できないため、グループ識別専用のクラスDアドレスが利用される仕組みになっています。実際の試験問題では、提示された四つの選択肢の中から、このグループ通信の宛先として有効なアドレスを特定することが求められています。解説では、正解となったアドレスがクラスDに該当する理由だけでなく、他の選択肢が持つプライ…

Python転職初心者向けエンジニアリングブログ

Pythonエンジニア

三連休最終日は

42歳独身実家暮らし。あっという間に三連休最終日。これが始まってることを知り、絶対に行こうと決めていた。ゆで太郎。ほぼ海老だけかき揚げ。海老、ぷりっぷり。あと…

のんころ

41歳無職独身実家暮らしの自立までの日常

存在という名の岩盤 「なぜ無ではなく、何かがあるのか」を問い直す

Existence as Bedrock Thank you, everyone on Substack, for being here. trgrkarasutoragara.substack.com 簡単に言うと存在とは何かを攻めずに、なぜ無では無いのか、存在を問うのに土台にしてることは何か？ を他の学問領域で扱えるように整えていくアプローチです。 「なぜ、無ではなく、何かが存在するのか？」 これは哲学の中でも、とても難しい問いだと言われています。 古代ギリシャの哲学者たちも、現代の哲学者たちも、存在について考えてきました。 しかし、私はこの問いを聞く

カラストラガラ

カラストラガラ@note

デジタル証明書：CAとVAの役割分担

公開鍵基盤（PKI）におけるVA（証明書有効性検証局）の重要な役割について解説しています。VAは、認証局の署名検証や有効期限の確認、さらに失効リスト（CRL）の管理を通じて、デジタル証明書が現在も有効かどうかを確認する機関です。具体的には、ユーザーやクライアントからの突然の問い合わせに対して、OCSPやSCVPといったプロトコルを利用し、サーバー機能を持つレスポンダとして迅速に応答する仕組みを持っています。また、テキスト内では属性証明書を扱うAA、デジタル証明書を発行するCA、そして本人確認や発行指示を行うRAといった、役割の異なる他のセキュリティ関連組織についても触れられています。このように…

Python転職初心者向けエンジニアリングブログ

Pythonエンジニア