カテゴリ: ノート

前回記事では、ソフトウェアエンジニアに特許出願業務が降ってきたときの、出願までの全体の流れをまとめました。 今回はその最初の関門である発明提案書と図面について、書くときに気を付けたこと、覚えた言い回しなどを残しておきます。弁理士ではなく、あくまでタネを提供する側のエンジニア視点のメモです。 …

Claude Fable 5 のプレビュー版を利用できるようになったので、コードベースの静的レビューを試しました。 Fable 5 は、最上位の Mythos クラスに位置づけられる汎用 AI モデルです。 Mythos は脆弱性を発見する能力が高いと言われているので、脆弱性を探すことを目的にしたプロンプトを考えます。 …

Windows を長年使い続けてきて今更知ったことなのですが、Windows ではファイルに読み取り専用 (Read-only) 属性が付いていると削除時に影響を及ぼします。エクスプローラーでは、ファイルに読み取り専用フラグが付いていても確認なしに削除できますが、本来は読み取り専用属性を解除してからでないと消せません1。 …

前回の記事では補助変数を利用することで、論理包含のある一見すると非線形な制約を線形制約へ変形し、PuLP で整数制約問題を解くことができました。 現実の問題を扱う際には、「ある特定の状況が望ましくないので、この条件を満たす場合にのみペナルティを足そう」というモデリングを行いたくなることが容易に想像できます。 そこで、論理積の線形表現を PuLP で実現する抽象を導出してみました。論理和もついでにやっておきました。 …