punt

動詞

[アメリカンフットボールに言及する古いジョークの落ちから:「15ヤード下がってパントしろ!」]

  1. たいてい再試行のつもりもなく、あきらめること。「今夜の映画はpuntしよう」「この機能を入れるために徹夜でハックするつもりだったが、puntすることにした」は、徹夜しないことにしたという意味かもしれないし、その機能を入れることすらもう一切やめるという意味かもしれない。

  2. より具体的には、Right Thingが何かを見極めるのをあきらめ、非効率なハックに頼ること。

  3. 問題を解くのを延期するという設計上の決定で、たいていは何が望ましいかをアルゴリズム的解決を組み立てられるほど十分に定義できないため。「グラフをどんな形でダンプするのが正しいか知る術がない。今のところそれはpuntしよう」

  4. やっかいな実装上の問題を、設計の他のどこかのセクションに押し付けること。「コンパイラにそれをやらせるのは難しすぎる。ランタイムシステムにpuntしよう」

  5. 誰かをインターネットやチャットの接続から弾き出すこと。したがってpunterは、これをする人やプログラムである。