並行論理プログラミングから生まれたもの
Android実践プログラミング 現場で生まれた設計パターン
... 4.4 スマートフォンアプリ設計での実践 要求定義 ペルソナ UCD のユーザーの立場・視点に立って考える、という思想のとおり、想定されるユーザー のプロフィールをペルソナとして作成します。先に紹介した KA 法やカスタマージャーニー マップと比較して推奨される点は、作成が比較的容易であり、ペルソナを定義することでアプ リのコンセプトも洗練されるからです。また、アプリの制作中に意見が分かれるときやリリー ...
154
48 浦上財団研究報告書 Vol.21 (2014) は 新生仔マウスが 1 匹も生まれてこなかった ( 図 1) 一方 妊娠期間中ビタミン C を十分に与えた (1.5 g/l ビタミン C を飲料水から自由摂取させた )AA(+) 群の雌マウスからは 正常に新生仔マウスが生まれた ( 図 1)
... 浦上財団研究報告書 Vol.21 （2014） 50 により、炎症や発がんを促進する誘導型一酸化 窒 素 合 成 酵 素（iNOS）や シ ク ロ オ キ シ ゲ ナ ー ゼー 2（COX-2）の合成を抑え、がんの発生を抑制 する 4-6) 。また、クルクミンにはプロスタグラン ジン、ロイコトリエンやトロンボキサンなどのエ イコサノイド合成を阻害するなど抗炎症作用があ る 7） 。さらに、クルクミンは抗酸化作用を持ち、 ...
7
ロボットを利用したプログラミング学習の試み
... い。また、黒色ラインの楕円コースの外周を進むのか、内周を進むのかで、 プログラムを考える必要がある。 各自プログラムを作成した方がよい。 今回は、ゼミ生の人数から２名からなる班と１名からなる班構成となった が、２名の班ではお互い問題を解決するために協力し合えたことは良かった。 ...
11
伝統と技術革新の融合から生まれた 新時代のスピーカー造形 IL SILENZIO E LA TELA DOVE LA MUSICA VIENE DIPINTA
... キャビネット全体を支えるアルミニウム底板は「ボウ･スプリング」と 呼ばれる、文字通り「ボウ（弓）」のような形状の航空機用素材で、 その弾性を入念にチューニングすることにより不要振動要素を分散・ 吸収。キャビネットを床面からデカップリング、フローティングするこ の設計は「ZVT（Zero Vibration Transmission）システム」と呼ばれ、 the Sonus faber ...
6
動画を用いたプログラミング自学自習の試み
... 2.1 プログラミング教育 情報系の高等教育機関では必修，多人数授業．提示され た課題に応じて学習者がプログラムを作成し，教師がそれ を採点．学習者はプログラムの作り方を座学講義または自 習により学ぶ．教師によるライブコーディングを除き，プ ログラムの一部あるいは完成品を見て，そこから作り方を 学ぶことが多いが，単に完成したプログラムを書き写すだ ...
6
競技プログラミングと初等整数論入門 67 回生佐竹俊哉 1. はじめに 初めまして satashun と申します 普段はのんびり数学やプログラミングをして楽しんでいます 自分は主にプログラミングの中でも 特に決められた時間の中で問題を解く競技プログラミングというものに興味を持っています そのようなプ
... これは簡単なプログラムで実現することができます。 not_prime という配列にしているのは、bool を global に宣言す ると false で初期化される性質を使いたかったからです。例えば このプログラムを sieve(1000000)で実行すると 1000000 以下の 素数が prime に入れられます。似たようなアルゴリズムとしてア ...
22
調査の結果 問 1 あなたの性別は 調査に回答していただいた生徒の性別は 男 が問 % 女 が 49.5% です 男 女 問 2 あなたは, 生まれてからずっと鈴鹿市に住んでいますか 生まれたときから鈴鹿市に ずっと住ん
... 《福祉教育への参加別にみると》 福祉教育の参加状況は複数回答のため、どのプログラムが影響したかを明確に示すこ とはできませんが、福祉施設での職場体験やワークキャンプに参加した人では「福祉施 設での活動」にそれぞれ46.2％、44.4％、敬老会や集いなどの行事に参加した人は「地 域の行事やお祭りなどのサポート」に37.5％、「災害が起きたときに支援する活動」に ...
9
教育の観点から考えるペアプログラミングの有用性
... 理由は現行のプログラマ教育とペアプログラミングによ る教育の差を調べるためである。仮に、ペアプログラミ ングに教育的側面から学習効果を確認出来たとしても、 現行の教育と比較して、劣っているのであれば、ペアプ ログラミング式の教育を採用する意味は無い。その点を 踏まえて、厳密にペアプログラミング式の教育の有用性 を研究したいと考えている。 ...
2
XMOS プログラミング入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... A.3 StartButton プロセス 次に，開始信号を発信する StartButton プロセスのプログラムをリスト A.3 に 示す．まず最初に，①のように開始ボタンスイッチのクリックを促すメッセージをコ ンソールに表示させ，次の②でボタンスイッチがクリックされるのを待つ．クリック イベントが発生するまで，プログラムの進行はここでブロックされる．なお，②の WaitForClick() ...
20
プログラミング演習３ - Cプログラミング -
... C は call by value、変数内の数値そのものを渡す 例５で、関数readn() について見ていきます。main 関数からは、 c = readn(fp, buf, n); のようによんでいます。call by value では、数値そのものを関数に渡すだけですので、 関数内で処理した結果をどのようにしてmain関数に戻したらよいでしょうか。戻り値で ...
22
プログラミング演習３ - Cプログラミング -
... C は call by value、変数内の数値そのものを渡す 例５で、関数readn() について見ていきます。main 関数からは、 c = readn(fp, buf, n); のようによんでいます。call by value では、数値そのものを関数に渡すだけですので、 関数内で処理した結果をどのようにしてmain関数に戻したらよいでしょうか。戻り値で ...
21
プログラミング演習３ - Cプログラミング -
... ３．画像ファイルの構造を知る その3 pmmファイルは、pnmファイル形式を拡張して、3つを超えた数の観測波長帯（バンド）の画像を 同じ形式で取り扱えるようにしたもので、 マジックナンバーは０、次の行に画像の幅、高さ、バンド数が入り、最後に濃度の最大値が 書かれています。 ...
32
開発者が知りたい実践プログラミングテクニック！ ～明日から使えるテクニック集～
... • 保守性 仕様の変更が発生した場合、各画面への修正が必要となり、 作業時間、デグレードが発生するリスクが高い →処理を共通化することで、その処理が使用される画面にかかる 開発工数を大幅に削減できる ...
60
OpenFOAM プログラミング サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... ク体で表す（ E ）． 本書で紹介するコードや実行例は， github や bitbucket サイトから，オンラインで 入手することができる．これらのリポジトリへのリンクは， souceflux.de/book であ る．われわれは，これらを最新のものとし，バグを取るように努めている．なお，本書 ...
36
今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順 ) になるよう 並び替えること
... ちょっと難しそう。。。なにをどうしたらよいのか？ 考え方：「何かを繰り返す」と書いてあるのだから、 繰り返される処理 を 「関数」 として捉える 注意 ：配列で1番目の要素の インデックスは 0 ...
22
形から入るWindowsプログラミング入門
... プログラミングの概念、理屈、用語など「わからないこと」を一切無視して「プログラ ミング作業を体験」してください。 つまり、OJT（on-the-job training）方式です。実践することで、具体的なプログラミ ング工程（作業）の流れが分かります。これらの作業を終了してから、後で理論や理屈 を学ぶと、体験したことと関連付けができるので理解が深まります。 ...
15
TopSE並行システム はじめに
... プロセス代数： CSP なぜJCSP の 同期型メッセージパッシング通信をFDR で検証できるのか？ プロセス代数 CSPでモデル化し、モデル検査器FDRで検証し、Javaライブラリで実装 することによって、理論的に検証された高信頼な並行システムを実装できる !!! ...
20
プログラミング作業過程の動画を用いたプログラミング学習の試み
... え 15 分程度で完了できるようにする . 課題は「プロ グラミング基礎」の講義で使われる課題をそのまま 使う . 二回の講義で 90 分ずつ , 各 4 問の課題 , つまり 180 分で 8 問の課題を対象に実験を行い , 一般的に難 しいと言われている構造体 , ポインタに関する課題を 出す . 90 分で二問は普通に課題を解いてもらい , もう 二問は教材として記録しておいたプログラミング過 ...
6
直観主義線型論理の圏論的意味論について 福田陽介 2018 年 12 月 11 日 1 はじめに 本文書は直観主義線型論理に対する圏論的意味論を概説することを目的とした記事です * 1 線型論理 (Linear Logic) は論理学者 Girard により考案さ
... 始めに証明論の証明に対して圏論を用いた意味論を与えるとはどういうことかを説明する。 先に述べた IMLL や IMLL の証明論の「意味」は、形式的には論理式や判断の構造をまず決めて、さらに は「それら論理式や判断に対して許される操作」を推論規則によって定めることで与えた。つまり証明そのも ...
14
開発者が知りたい実践プログラミングテクニック！ ～ 明日から使えるテクニック集 ～
... jQuery Mobile 基本ページレイアウト • jQuery Mobile公式サイトより基本ページのHTMLソースを取得 • トップページ から [Demos]をクリックし、[jQuery Mobile 1.4.5 Demos]をクリック • 「Pages & Navigation」 内の [Pages] をクリック ...
55