カレンダーで年と月だけを選択したい Flutter で日付を入力するときにカレンダーから選択できるウィジェット(DatePicker)があります。これを使うとマテリアルデザインのカレンダーが表示されて、そこから日付を選択する形で入力ができるようになります。 // DatePickerの仕様イメージ selectDate(BuildContext context) async { // 1年前から1 […]
Python でタイムアウト Python で実装した処理が一定時間以上経過しても終了しない場合、強制的に終了するような制御(タイムアウト)を実装する方法をまとめます。実装方法は幾つかありますが、非同期処理なのか同期処理なのかで実装方法や挙動が変わってくるので注意が必要です。 非同期処理をタイムアウト制御する方法 高水準の API インデックス — Python 3.9.1 ドキュメント タイムア […]
VSCode で SSH Remote – SSH – Visual Studio Marketplace VSCode の拡張機能 Remote – SSH を使うことで、SSH接続先のファイルを直接 VSCode のエディタからファイルを編集することができます。ローカルのファイルと同じように接続先のファイルを操作できるので、例えば開発をSSH接続先のリモート […]
ISBN-13 と ISBN-10 ISBN – Wikipedia ISBN は書籍の識別用に設けられている国際規格のコードです。ISBN には10桁の旧規格(ISBN-10)と13桁の現行規格(ISBN-13)があります。 2007年以降 ISBN-10 は新たに発番されておらず、新刊書には ISBN-13 が必ず発番されるようになっています。 基本的に ISBN-13 が新しい規 […]
GAS とは Google スプレッドシートでは GAS(Google Application Script) を使って、機能を拡張することができます。Excel のマクロ(VBA) みたいなイメージです。 今回は GAS でスプレッドシートにログを出力する関数を定義し、これを時限式のトリガーで定期的に実行できるようにしてみます。 GAS を定期実行する まずは GAS で普通に関数を作る スプレ […]
Node.js で BOM付きの UTF8 を扱う Node.js を使って HTTPS の GET メソッドで JSON ファイルを取得して JSON.parse() すると次のようなエラーが発生しました。 Uncaught SyntaxError: Unexpected token in JSON at position 0 JSONデータの1文字目から何かがおかしいと言われています。いろ […]
Mac で Redo したい Windows では Ctrl + Z で取り消し Ctrl + Y でやり直しができます。 Mac だと command + Z で取り消し、shift + command + Z でやり直しができます。 普段 Windows なので Mac の VSCode でも同じような感じで command + Y で Redo(やり直し)ができるようにしたいのでその設定方法 […]
Pythonだと nohup コマンドの出力が終了時にしか出力されない Python で次のようなコードがあるとします。30秒間カウントし続け、それを出力します。 import time for i in range(0, 30): print(i) time.sleep(1) これをバックエンドで実行するために以下のようなコマンドで実行します。 $ nohup python x.py & […]
ArgumentParser でコマンドライン引数を解析する argparse — コマンドラインオプション、引数、サブコマンドのパーサー — Python 3.9.1 ドキュメント Python でコマンドライン引数を使ったプログラムを作成する場合、標準ライブラリとして提供される argparse モジュール を使用すると便利です。 例えば cat コマンドでファイル内容を出力すると […]
Flutter Web の環境を構築したい Building a web application with Flutter – Flutter Flutter で Web 開発ができるようにするためのセットアップ手順をまとめます。Flutter のインストールは済んでいる前提です。 環境構築 まず、Flutter を beta チャンネルにして SDK を更新します。更新後 Web サ […]
