論理」で検索した結果

69件中 41〜60件を表示

ベクターでの一致

DiskSizeReporter

ネットワーク上の論理ディスク容量を取得する
●指定したフォルダの存在している論理ディスクの容量を調べます(要管理者権限)。・指定したネットワーク上のフォルダを一時的にネットワークドライブ化することで、ネットワーク上の論理ドライブの容量を調べます。容量調査後はネットワークドライブは切断します。・ネットワークドライブ化に管理者権限が必要となります。・ネットワ...

Interlog 1.0

新しい論理型言語Interlog グラフィック・イベント対応し、Prolog機能を含む言語
Windowsで動く論理型言語です。Interlogは、あの人工知能言語として登場したPrologの機能を作者の思想の基に独自に変換した結果できた言語です。グラフィック・イベントに関して独自の考え方が生かされています。 図形や文字を使ってコンピュータとやりとりし、裏ではPrologが走っていて応答を返してきます...

LTOOL 1.00 評価:5.0/5.0 (投票:1件)

論理設計ツール
LTOOLはL言語で論理設計するための論理検証まで含んだ論理設計環境を支援するプログラム群です。L言語のLはLogicの略で論理設計のために独自の仕様で作った言語です。完全同期式の設計に使います、非同期式の設計はできません。言語仕様が簡単なので容易に論理設計することができます。LTOOLはLDCがコンパイラを担...

BuildNetDiagram 1.05

ネットワーク論理構成図自動生成ツール(Excel VBA)
機器状態確認コマンドの実行結果ログから、ネットワーク論理構成図を自動生成します。 Cisco, Alaxala, Foundary Networks, Fortigate, Aruba, BIG-IP等の機種のconfigの出力結果から、IPアドレスが割り当てられているインタフェース(物理インタフェースまたは...

CD-ROM reader 0.12

論理型式に依存せずCD-ROMデータを読み込み
 CDREAD.EXEは、MS-DOSでCD-ROMをアクセスする際に使用するMSCDEX.EXEの機能を使って、CD-ROMのデータを直接読み取るためのツールです。CD-ROMの論理フォーマットに依らず、物理フォーマット(Yellow BookのCD-ROM mode-1)に従ってアクセスしますので、CD-R...

論理パズル 3人の王子と従者たち 1.1

論理クイズのミニゲーム
問題数全17問の論理パズルゲームです。 論理パズル初心者〜中級者向けに作っており、ヒント・解答解説も表示可能です。 クリア後のおまけも少しあり。...

日本語かな入力用論理配列「かえで****あすか」 1.2

「同時打鍵&押しっぱなしシフト」挙動を積極的に活用、JISキーボード用日本語入力法の新しい選択肢
日本語かな入力用論理配列「かえで****あすか」は、BTRONかな入力法と同様に、親指位置(本入力法ではJISキーボードを使うため、無変換キーと変換キーの2つ)をシフト機能キーとして使う「親指シフト方式かな入力法」の一種です。 100ヶ月近くを費やしてJISキーボード向けに調製されてきた「飛鳥カナ配列」という日...

異端者を捜せ! 2.1

論理的思考を育成する
よく知られた思考パズルものですが、お暇な時の時間潰しにいかがでしょうか。なお、各標本数の理論最少計量回数は、次のとおりです。 3個 … 2回、4〜12個 … 3回、13〜20個 … 4回...

タイミングチャートエディタ JRE同梱EXE版 2.00

論理回路のタイミングチャートエディタ
論理回路のタイミングチャートを視覚的に作成できます。■機能・単信号のマウス左クリックによる値設定・範囲選択、コピー、切り取り、貼り付け、挿入・アンドゥ、リドゥ・信号並び替え・Excelへのエクスポート■補足本ソフトウェアは、試作品です。信号数、列数に制限を設けています。※信号数10、50列本ソフトウェアは、 A...

タイミングチャートエディタ 1.00

論理回路のタイミングチャートエディタ
論理回路のタイミングチャートを視覚的に作成できます。■機能・単信号のマウス左クリックによる値設定・範囲選択、コピー、切り取り、貼り付け、挿入・アンドゥ、リドゥ・信号並び替え・Excelへのエクスポート■補足本ソフトウェアは、試作品です。信号数、列数に制限を設けています。※信号数10、50列本ソフトウェアは、 A...

THE演算 1.0

論理演算とかシフトとかの計算に
・A値とB値を 加算 減算 乗算 除算 MOD(余り) 論理積(AND) 論理和(OR) 排他的論理和(XOR) 比較(等しい) 比較(等しくない) 比較(大きい) 比較(小さい) 比較(以上) 比較(以下) 右シフト 左シフトしたり、・A値の 補数 そのまま(+A) 逆(-A)を表示したりする事ができます。...

ndf 1.00

全容量 現使用容量 現空き容量 クラスタサイズ 論理的なパス名などの表示
`<d:>'で指定した物理ドライブについて、全ディスク容量、現ディスク使用容量、現空きディスク容量、クラスタサイズ、論理的なパス名などを表示します。 書式などは、ASCIIから発売されている`MS-DOS SOFTWARE TOOLS 基本セット 32'を参考にさせて頂きましたが、JOINに対応するなど、多少...

ZENO 0.1b

論理学における真理表を作成
論理学における真理表を作成するプログラムです。 現在のところ命題論理学にしか対応していません。 DOS汎用で動作すると思います。...

真理値表論理式コンバータ 0.6

PLD論理設計ツール
 ABEL風のテストベクタ記述の真理値表を簡単化してABEL風の論理記述式に変換して出力に出力します。 ▼ 真理値表と状態遷移表の書式は ABEL のものを使います。論理式は ABEL のものを使います。 ステートマシンの記述は独自のもので ABEL と互換性はありません。 ▼ 設計方法 □ 組合わせ回路は真...

LHDL 1.3

独自の言語形式を使用して論理を記述、シミュレ−ション
 独自の言語形式を使用して論理を記述します、生成された論理式はLSIMでシミュレ−ションすることができます. LHDLは真理値表、状態遷移表、論理式ファイルと、これらをKMX、KMS、LC、LCATを使用してひとつの論理式に統合するバッチ(EQ.BAT)を生成します. EQ.BATを実行すると最終的な論理式が得...

論理式シミュレ−タ for PC-98 1.4

論理記述式のソ−スリストを入力 ロジックアナライザ風の画面で結果を出力 for PC-98
 ABEL風の論理記述式のソ−スリストを入力してロジックアナライザ風の画面で結果を出力します。 また画面上で入力論理値を編集し再シミュレ−ションして確認などの操作を繰り返し実施します。 《制限事項》 * 順序論理は完全同期式でないとシミュレ−ション出来ません。 * 出力が内部ラッチを通らずに入力にかえるようなR...

論理式シミュレータ for IBM 1.4

論理記述式のソ−スリストを入力 ロジックアナライザ風の画面で結果を出力 for IBM
 ABEL風の論理記述式のソ−スリストを入力してロジックアナライザ風の画面で結果を出力します。 また画面上で入力論理値を編集し再シミュレ−ションして確認などの操作を繰り返し実施します。 《制限事項》 * 順序論理は完全同期式でないとシミュレ−ション出来ません。 * 出力が内部ラッチを通らずに入力にかえるようなR...

NetEngineer インストール版 2.5.2.0

ネットワーク設計自動化ソフト(ネットワーク物理・論理構成図とパラメータ連携、自動設定変更等)
ネットワーク物理、論理構成図とパラメータの連携や、ネットワーク機器の自動設定変更等、ネットワーク設計を自動化するソフトウェアです。主な機能は下記の通りです。・構成図とパラメータ(IP一覧、ポート一覧等)の自動連係・ネットワーク機器設定変更の自動化...

ギャロップレーダー 1.0

多くの実績データによる論理的で精密な予測
統計学で着順を予測。数学的理論に裏付けされた高い信頼性。競馬を的中させる為だけに作られた競馬ロボット。念入りなテストフェーズで高精度を追及。...

Navicat Data Modeler for Windows 2.1.8

概念・論理・物理データモデルの設計に最適な製品
Navicat Data Modelerは、高品質な概念・論理・物理データモデルの設計に最適な製品です。DB構造を視覚的に設計することや、リバース/フォワードエンジニアリング、ODBCデータソースからのモデルインポート、複雑なSQL/DDLの生成、モデルのファイルへの保存、印刷出力などを実行することができます。...


もっと絞り込む

1 2 3 4

ベクターパスポートとは?


パソコンソフトを探すなら「Vector」
ソフトライブラリ
PCショップ

その他のコンテンツ
ちょい読み!
コミック