【Python】型付けを行い、 mypy で堅牢なコードを書こう
この記事では、 Python の 型付けと、 mypy を用いたチェックまで、サンプルコードを交えて解説します。 Python は 動的型付け言語として知られていますが、バージョン3.5以降、型ヒントという機能が導入され、静的型チェックが可能になりました。 なぜ Python に型付けが必要なのか コードの可読性向上
Archive
これまでの記事一覧です。
この記事では、 Python の 型付けと、 mypy を用いたチェックまで、サンプルコードを交えて解説します。 Python は 動的型付け言語として知られていますが、バージョン3.5以降、型ヒントという機能が導入され、静的型チェックが可能になりました。 なぜ Python に型付けが必要なのか コードの可読性向上
本記事では、 JWT の仕組みを詳細に解説し、実際の使用例を交えながら説明します。 JWT (JSON Web Token) は、Web開発の世界で広く使用されている認証および情報交換のための開放型標準(RFC 7519)です。 https://datatracker.ietf.org/doc/html/rfc7519
本記事では、Flask アプリケーションの Jinja2 テンプレートエンジンでのテンプレート分割の方法と、その利点について詳しく解説します。 Flask は Python で書かれた軽量なWebフレームワークであり、 Jinja2 はそのテンプレートエンジンとして広く利用されています。 Flask と Jinja2
この記事では、GMO が最近 リリース した 天秤AI というサービスの便利さを紹介します。 最近、AIの進化がすごくて追いつくのが大変ですよね。 GPT 4o が出たと思ったら Claude 3.5 Sonnet が登場、そして Gemini もしれっとパワーアップしている。 正直、どれがいいのかわからなくなってきま
この記事では、 Laravel のセットアップ時の composer create project コマンド実行をすると curl error 7 while downloading https://repo.packagist.org/p2/laravel/framework.json: Failed to conn
本記事では、 Google Map を自身のサイト上に埋め込む方法 を紹介します。 LP(ランディングページ) や企業WEBサイトの会社案内のページなどで、住所のエリアに地図を表示している事多いですよね。 その方法は知っていればすぐに実現できるので、備忘録として記載します。 任意の地点の Google Map の埋め込
この記事では、 console.log の引数を工夫することで、出力をさまざまな形式で確認し、デバッグ効率を大幅に向上させる方法を紹介します。 JavaScript 開発において、console.log は最も基本的かつ重要なデバッグツールの一つですよね。 しかし、多くの開発者はその真の力を十分に活用できていません(本
この記事は、 「 チャットAI で 2ちゃんねる を模倣してみる」 という雑記記事です。(今だと 5ch ? オープン? ちょっと古いですかね) ネタ記事ですが、IT に詳しくなくとも、今の生成 AI のレベルを感じられると思います。 趣旨の概要 Claude 3.5 Sonnet, ChatGPT 4o, Gemin
この記事では、ふとした時に忘れがちな、細かい マークダウン 記法を網羅してチートシートとして残しておくための備忘録です。 マークダウンの主要な記法を詳しく解説し、実際の使用例を交えながら説明していきます。 マークダウン について エンジニアなら一般教養と言っても過言ではないですが、念のため紹介から。 マークダウン(Ma
Sponsored