最近、JSON（ジェーソン）を用いたデータ交換が増えてきた。JSONとは13日の金曜日に来るヤツでもなければ、スーパーマーケットの名前でもない。「JavaScript Object Notation」の略で、当初はJavaScriptでオブジェクトデータをファイルに保存したり、通信で送信する ...

Windows Terminalは、一般的な設定は、タブバー右端のメインメニューにある「設定」で行うことができる。これを本連載では、「GUI設定」と呼んでいる。というのは、もともとWindows Terminalは、settings.jsonファイルを使って設定を行っていたからだ。現在でも ...

米Microsoftは4月6日（現地時間）、デスクトップ向け「Microsoft Edge」の最新安定（Stable）版v112.0.1722.34を公開した。「Edge 112」では、新たにJSONビューワーが追加されている。 JSON（JavaScript Object Notation）は、JavaScriptのオブジェクト表記法に由来するデータ記述 ...

業務で大勢の人が使うツールでは、設定がGUIで直感的に行えるようになっている。とは言え、GUIで指定した設定自体も、何かしらの設定ファイルに保存される。一昔前のツールであれば、バイナリの独自形式で保存されることも多かったが、昨今のツールの ...

When you install Linux distribution, you will get a default terminal, which is quite obvious as we can not imagine Linux without a command-line utility. However, if you want something fresh and ...