自治体向けサービスを開発する株式会社ミラボ（本社：東京都千代田区、代表取締役：谷川一也、以下「ミラボ」）と、情報モラル教育・プログラミング教育を手がける株式会社教育ネット（本社：神奈川県横浜市、代表取締役：大笹いづみ、以下「教育 ...

筒井@ryu22eです。2023年9月の 「Python Monthly Topics」 は、Python 3. 12の新機能 「PEP 692 – Using TypedDict for more precise **kwargs typing」 について紹介します。 PEP 692は**kwargs引数 （任意のキーワード引数を辞書型で受け取れる） への型チェックを強化してくれる機能です。

株式会社教育ネット（神奈川県横浜市都筑区 代表：大笹いづみ）と株式会社ミラボ（東京都千代田区 代表: 谷川一也）は、共同開発した情報活用能力育成アプリ『らっこたん』にプログラミング言語「Pythonコース」を新たに追加しました。これに伴い ...

120秒間ひたすらタイピングし続けてコードを記述するゲーム「UnTyping」が公開されました。下記URLから誰でも無料でプレイできます。 UnTyping - エンジニア向けプログラミングタイピングゲーム https://untyping.jp/ URLにアクセスしたら以下のようにコースが表示さ ...

Learn how Mypy's type checking works with functions and generators. In my last two articles I've described some of the ways Mypy, a type checker for Python, can help identify potential problems with ...

Python is best thought of as a dynamic but strongly typed language. Types aren’t associated with the names of things, but with the things themselves. This makes Python flexible and convenient for ...