検索内容:
植物学者は、亜種間の形態差を比較する基準として、その自動的に命名された変種を特定した。
研究は、遺伝的多様性を理解するために、異なる地域間でタイプ別の品種を比較しました。
いくつかの型理論は現代の証明支援ツールの設計に影響を与えている。
研究者は型理論を応用して、形式的証明によってプログラムの正しさを保証します。
多くの開発者は実行前に微妙なバグを見つけるために型チェックツールを利用しています。
レガシーライブラリにドキュメントが不足していたため、私たちの型チェッカーは複数の曖昧な型注釈を指摘しました。
建築家は建物の各機能に対して、特定のエリアの種類を割り当てました。
デザイナーはモバイル端末での可読性を確保するためにフォントの色を調整した。
デザイナーは、小さなサイズでも本文が読みやすくなるように、タイポグラフィにおける文字の濃さを調整することがよくあります。
研究者は生検でまれな形態的に異なる細胞型を特定し、それが患者の異常な症状を説明する可能性がある。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★