ACL2の意味・使い方・読み方

遺伝子名称シソーラス

本文中に表示されているデータベースの説明

SWISS-PROT: スイスバイオインフォマティクス研究所と欧州バイオインフォマティクス研究所によって開発・運営されているタンパク質のアミノ酸配列のデータベース。
EntrezGene: NCBI によって運営されている遺伝子データベース。染色体上の位置、配列、発現、構造、機能、ホモロジーデータなどが含まれている。
WormBase: 欧米の研究所や大学により運営されている、研究用の線虫の生態や遺伝子情報に関するデータベース。

調べた例文を記録して、効率よく覚えましょう

Weblio会員無料で登録できます

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

出典:『Wikipedia』 (2011/04/03 05:29 UTC 版)

ウィキペディア英語版からの引用

引用: ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are built on Common Lisp. ACL2 is free, open source (GPL) software.

全履歴クリア

単語帳に追加

DBCLS Home Page by DBCLS is licensed under a Creative Commons 表示 2.1 日本 License.
Wikipedia
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのACL2 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。