まともに使えるソフトウェアを作るためのチェックリスト - うさぎ小屋
この記事について ソフトウェア開発に慣れていない人が作ったソフトウェアは動かし方がよく分からないことがたいていです。 致命的なバグが残っていたり、そもそもビルドや実行ができないということも多くあります。 この記事は、そのような状況が改善されればよいなと思って書かれました。 ただし、この記事が対象とするソフトウェアは、主にはユーザの環境でビルドして実行するようなもの (例: プログラミング言語処理系) です。 スマートフォンのアプリや Web ページなどは対象外です。 また、基本的に個人開発の OSS を想定しています。 チェックリスト このチェックリストをほぼすべて埋めることは、まともに使えるソフトウェアを作るための必要条件です。 ドキュメント どんなにすごいソフトウェアであっても、使い方が分からないようではユーザの役に立ちません。 ✔️ できる限り丁寧に書く ドキュメントは書きましょう。
競技プログラミングの問題を自動で解きたい - うさぎ小屋
TL;DR 問い「競技プログラミングの問題は自動で解けるか？」 答え「ある程度は自動で解けるだろう。ただし問題の形式化を人間に任せる必要はある」 問い’「競技プログラミングの問題を自動で解くソルバは、具体的にはどのような形になるか？」 答え’「少なくとも初期のソルバは、最適化付きのトランスパイラと呼ばれるものになるだろう」 このような議論に従い、競技プログラミングの問題の実用的なソルバとして、Python から C++ への最適化付きトランスパイラを開発している。 目次 TL;DR 目次 競技プログラミングの問題を解くとはどういうことか 競技プログラミングのソルバは形式化を人間に任せることになるだろう 競技プログラミングの問題を自動で解くことは不可能ではない 具体例 1 具体例 2 競技プログラミングのソルバは (初めは) トランスパイラの形がよいだろう 競技プログラミングのソルバは (近
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
