特電が求める人材像 | 特殊電子回路
製品情報 MITOUJTAG JTAG書き込みツール インストール ファームウェアの更新 通常モードの使用 Vivadoモードでの使用 便利な機能 まとめ IC真贋判定サービス Spartan-7評価ボード 各種図面 ダウンロード はじめの使い方 開封 基板上のコンポーネント デバイスドライバのインストール サンプルデザインについて FPGAの書き込み サンプルソフトの起動 MicroBlazeで組み込みシステムを作ろう 開発日記(最新) 開発日記(構想～基板設計) Artix-7評価ボード 仕様と特徴 基板図面 ピン配置図 ダウンロード USBテストプログラム 注文情報 新基板への更新 価格改定のご案内 Artix-7技術情報 ArtixのQ&A USBを使う USB APIの使い方 USB 3.0プログラムの作成方法 書き込みツール DDR3の使い方 CoreGenでMIG AXIバス
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
