おすすめランキングNo.1に選ばれた各科目・分野の書籍をまとめました。 大学受験の「最強の本棚」を飾る書籍はこれだ!!
![書籍一覧/おすすめ書籍 - 【Z会公式大学受験情報サイト】Z-wiki](https://cdn-ak-scissors.b.st-hatena.com/image/square/87187eba81375e12954a570984dcce21a7825ebc/height=288;version=1;width=512/https%3A%2F%2Fads.atwikiimg.com%2Fimg%2Fogimage_setting_s.png)
Ubuntu Linux(8.04,32bit-x86)上での開発環境構築について書く。 Windows上でやりたい場合は、VMware等を利用して実施。 Macとか他のLinuxディストリビューションについては、参照元をチェック。 アップデート実施「アップデート・マネージャ」を起動する(「システム」→「システム管理」→「アップデート・マネージャ」を選択) アップデートを実施する(「アップデートをインストールする」を押す) パスワードを要求されるので、入力してEnterキーを押す。 必要なパッケージを追加する。「端末」を起動する(「アプリケーション」→「アクセサリ」→「端末」を選択) 「端末」上で、下記のコマンドを入力して、Enterキーを押す。sudo apt-get install git-core gnupg sun-java5-jdk flex bison gperf libsdl
#Contents() * sparseプログラムについて sparseプログラムは、Linuxカーネルで使用されているソースコードチェッカーです。 sparseプログラムは、静的にプログラムをチェックし、間違いがあれば警告を出してくれます。Linuxカーネルのソースコードにおいて、ユーザ空間へのポインタとカーネル空間へのポインタが混在してしまっていたのをチェックするために、Linusが2003年に最初に作ったみたいです。 sparseのソースコードは、[[こちら>https://sparse.wiki.kernel.org/index.php/Main_Page]] * 使い方 まだよく調べていませんが、sparce ソースコード名 とすればチェックしてくれるようです。 Linuxカーネルのソースコードに対してsparseしたいときには、make C=2 とします。 チェックされる項目は
秀丸は言わずとしれた有名エディタで、開発業務を行っている人にとってなくてはならないアプリです(若干の誇張有り)。強力かつ高速な編集機能、かゆいところに手が届く機能、などなど。 これがなければ皆の生産性は半分以下に落ちてしまうと思います(若干の誇張有り)。使いこなせば使いこなすほど馴染んでくる、というカスタマイズ性の高さも素晴らしい。 その辺はおあつらえのIDEじゃ味わえないです。もうね、開発者だったらどんなことがあっても入れて使いこなせるようになっておくべき、とも思うくらい。 バージョンが上がるごとに「この機能がほしかった」というツボな機能が入ってくるところもね。開発者のことを大切にしてくれているな、という気持ちにさせてくれる「分かっている」アプリなのです。
* 組み込みLinuxとは 組み込みLinuxとは、PC上でLinuxを動作させる場合と対比させて、PC以外のコンピュータ製品上でLinuxを動作させることです。例えば、PC以外のコンピュータ製品としては携帯電話・液晶テレビ・DVDレコーダー・音楽プレーヤー・ブロードバンドルータなどがあります。 * 背景 まず、電気製品について考えてみてください。私たちの身の回りには色々な電気製品が存在します。テレビに始まり携帯電話・冷蔵庫・エアコン・掃除機・トイレのウォシュレットや洗濯機・ビデオデッキなどなど・・、コンセントに差し込み、電気で動作する多種多様な電気製品が存在します。これらの電気製品は、それぞれ特定の目的を達成するために製造されています。つまり、冷蔵庫は食品を冷やすためだし、掃除機はゴミを吸い込むためです。 例えば、ある電気機器メーカーが掃除機を製造しようとした場合、大型のモーターでプロペ
なんとなく覚書き。 勉強のためにメモを残しているだけなので、間違いやテキトウな表現が大いにあります。 賢いひとは参考にしないでください。 願わくばSystemCがもっと普及することを。 SystemCを始めるSystemCとは インストール(Linux,Cygwin,VC++EE) HelloWorld - 始めの一歩 Makefileの書き方 クロックカウンタを作る - モジュール定義を覚える 並列処理について - 並列処理動作を体感する Visual C++2008 Express Editionでの使用方法について SystemCの基本的な機能SystemCの基本データタイプ固定小数点 ユーザデータタイプ モジュール プロセス動的プロセスについて チャネルsc_clockクロック信号 sc_fifoチャネル 未分類検証環境モデル構成(テンプレート) SystemCのコアとなるクラス定
メニュー トップページ 質問について スレッド過去ログ スレの立て方 テンプレート FAQ全般 Linux全般 ディストロ全般 導入関係 インストール全般 インストールCD作成 HDDパーティション マルチブート プレインストールPC CPUアーキテクチャ VirtualPC RPM系Dist Fedora CentOS SUSE Linux Mageia PCLinuxOS Vine Linux Berry Linux Scientific Linux Deb系Dist Ubuntu Linux Knoppix ディストロ他 Gentoo Linux ディストロ情報 設定 設定ファイル ネットワーク接続 X11 3Dデスクトップ ハードウェア 印刷 TVチューナー フォント システム OS全般 起動 シェル操作 コマンド ファイルシステム サーバー/デーモン Windowsから アプリ追
はじめに 現在、日本国内で比較的に低コストで入手可能なコーパス・言語資源の概要と入手方法を紹介します。 主に現代語の研究を想定したものです. 書き言葉 青空文庫 内容:ネット上の電子図書館『青空文庫』の公開作品を一枚に収録しています。 入手方法1:「蔵書○○○○」という形で毎年更新版を500円で販売しています。現在は完売に購入はできないようです。 入手方法2:『インターネット図書館 青空文庫』を購入するとDVD-ROM(青空文庫4843作品ほか収録)が付いてきます。 関連文章:夷石寿賀子, 千葉 庄寿, 陳君慧 (2006)「『青空文庫』を言語コーパスとして使おう―メタデータ構築による歴史的・社会言語学的研究への応用の試み―」(言語処理学会第12回年次大会 (NLP2006) 発表論文集 pp.915-918) 茶漉による青空文庫の検索: 日本語用例・コロケーション抽出システム『茶漉』によ
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く