実したソフトウェア
動的幾何学ソフトウェアによる実特殊線形変換群SL(2,$R$)の3次元モデル (数学ソフトウェアとその効果的教育利用に関する研究)
... 的オブジェクトは，抽象的に定義され，幾何的なイメージをつかみにくい傾向にある．今 回は特に，実特殊線形変換群 $SL(2, R)$ の可視化について解説する．この群は， 3 次元多 様体なので， 3 次元ユークリッド空間に埋め込むことができる．このモデルの応用とし て，指数写像の像が可視化できることを示す．本研究で用いる動的幾何学ソフトウェア ...
5
ソフトウェアにより実現したPLLによるモーター制御
... Key words:Phase Locked Loop, software PLL, DC -motor control, feedback １ はじめに これまでロボットサッカーの研究を行ってきたが ［1］，ロボットに精密な動作を行わせるために，モー ターの回転を精密に制御することが必要になった。直 流モータを精密に制御する方法にモータの回転信号を 電圧制御発振器の信号と見なし，PLL（Phase ...
7
b. ライセンスの 形 態 本 ソフトウェアは 以 下 の 条 件 に 基 づいて 許 諾 されます お 客 様 が 実 行 するサーバー ソフトウェアのインスタンス 数 サーバー ソフトウェアのインスタンスにアクセスするデバイスおよびユーザーの 数 アクセスするサーバー ソフトウェア 機 能 物
... スを割り当てます。お客様は、サーバー上でサーバー ソフトウェアのインスタンスを実行す る前に、以下で説明するように必要なソフトウェア ライセンスの数を決定しなければなりま せん。お客様は、このサーバーに関して適切な数のライセンスを確実に取得していなけれ ばなりません。Certificate of Authenticity ラベルは、サーバーに貼付されているか、もしく ...
18
成 する で 実 行 できるようにする JRE と JDK の 違 い Java 実 行 環 境 (JRE:Java Runtime Environment)は Java 言 語 を 使 って 作 成 された プログラムを 実 行 するために 必 要 なソフトウェアです 一 方 Java 開 発 キ
... 成する で実行できるようにする JRE と JDK の違い Java 実行環境（JRE:Java Runtime Environment）は Java 言語を使って作成された プログラムを実行するために必要なソフトウェアです。一方、Java 開発キット （JDK:Java Development Kit）は Java 言語を使ってプログラムを作成するために必要 なソフトウェアです。ADT ...
17
CAE ソフトウェアと連携したリンク機構に対する形状最適化解析の実現
... CAEソフトウェアと連携したリンク機構に対する形状最適化解析の実現 小島 雄一郎 名古屋大学情報文化学部複雑システム系畔上研究室 リンク結合された複数の剛体からなる構造をリンク機構という．リンク機構の運動は各剛 体の運動方程式と運動制約条件（対偶）で構成された微分代数方程式の初期値問題と して数理モデル化される．畔上研究室では，これまで，その初期値問題を主問[r] ...
1
数式処理ソフトを活用した三角関数とその応用に関する教育実践 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... Nihon University 1 はじめに 近年、 「理系離れ」 や「ゆとり教育による学力の低下」 が指摘されている。 しかしその 反面、 学生は幼少時からパソコンやインターネットに触れている、 いわゆる 「デジタル ネイティブ」 と呼ばれる世代であることも大きな特徴である。 実際本学に入学してくる 理系学生は、 キーボード操作やマウスの扱い、 ファイル操作、 ソフトウェアの基本的な ...
7
プログラミングを活用した課題解決型教育の実践例 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... 方法を探りながら一定の結果を得る学習である．ただし，試行錯誤の部分でプログラミ ングを活用したことを強調しておく． 設定した課題は， 2 名でそれぞれ異なっている． 1 名は，単純な規則を設けた格子状 の面に数字を並べ，それらの数が持つ関係を見つけ出すことを課題とした．数のもつ関 係の詳細と成果については第 2 ...
9
1 Last modified : 2014/08/14 FrontISTR を Ubuntu LTS へインストール はじめに FrontISTR は 非線形構造解析機能が充実した オープンソースの構造解析ソフトウェアです 規模並列 FEM 基盤ミドルウェア上に構築され 先進性と実 性
... 並列実⾏のため、最初にメッシュデータを分割します。 % hecmw_part1 Aug 01 13:48:33 Info: Reading mesh file... Aug 01 13:48:33 Info: Starting domain decomposition... Aug 01 13:48:34 Info: Creating local mesh for domain #0 ... Aug 01 ...
8
Windows での 設 定 ソフトウェアの 起 動 Technics Audio Player にインストーラは ありません ダウンロードした 自 己 解 凍 ファイルを 展 開 したフォ ルダ 内 にある TechnicsAudioPlayer.exe ファイルを 実 行 してください 展 開
... “Technics Audio Player”の起動直後は、プレイリストに何も曲が入っていません。保存されているプレイリ ストを読み込むことですぐに再生の準備ができます。すでにプレイリスが作成された状態で新たにプレイリ ストを読み込むこともできます。曲のジャンルや音源の性質ごとプレイリストを作成しておくと便利です。 「ファイル」メニューから「プレイリスト読み出し」を選択します。 ...
14
記憶の定着および計算力向上を目的とした e ラーニングシステムの構築と活用 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... になってしまった．つまり問題と解答の数値がパターン化し覚えやすくなったのである． 穴埋め式問題は空欄のまま解答をすると正答が表示されることから，正答を覚え次回 以降の出題の際に解答する，ということが可能である．実際，そのようにテストをこな していた学生が少なからずいた ([3] を参照 ). 問題に現れる数値はランダムに表示してあ ...
6
P2Pファイル交換ソフトウェア環境を対象とした観測に関する一考察
... (2) Winny ノードが保有するファイル数 調査結果に基づき， Winny ノードが保有するファイル 数を推定する． Winny ノードが保有するファイル数の推 定にあたっては，上限（単位時間あたりの一意なプライ マリキーの流通量）と下限（単位時間あたりの一意なハ ッシュキーの流通量）を設定できる．すなわち，実際に 保有されているキャッシュブロックに関わるプライマリ キーの流通量は上限と下限の間に位置し，プライマリキ ...
6
ビジネスコミュニケーションソフトウェアを使用した英語リメディアルコース
... Ⅰ．はじめに 18 歳人口の激減とともに大学全入時代が現実のものとなりつつある。このような状況の下、 必修として設定されている言語、特に英語の単位を充足できない学生に対する単位回復科目（リ メディアルコース）の設定が大学にとって大きな問題となってきている。志願者が募集人員を はるかに上回っていたこれまでとは異なり、入学時に一定の学力が必ずしも充足されていない ...
14
MathML 記述の数式を対象とした木構造に基づく検索システムの提案・開発 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... 7 した．パイロット実験結果より，完成はしていないものの， 先行研究 ([8]) に比べユーザが意図する数式を正しく返すことが大方確認された．ユー ザの負担軽減策として，不完全ながら 2 次元表記の数式入力が可能なツールを用意した ことも本研究の特長として挙げておきたい．一方で，正確な検索結果を得られない例も ...
11
GeoGebraを活用した高大連携授業 (数学ソフトウェアとその効果的教育利用に関する研究)
... 0 20 40 60 80 100 図7: 教材満足度と成績の相関 4 まとめと今後の展望 今回の実践は1学期中のわずか6回の授業ではあったものの、生徒はインタラクティ ブな教材に触れることにより、数学が苦手であっても内容に興味をもって接してくれた。 すべての生徒の成績が上がったとまでは言えないが、黒板だけの授業に比べて理解しや ...
7
Nios® II HAL API を使用したソフトウェア・サンプル集 「Modular Scatter-Gather DMA Core」
... ユーザ固有のルーチンを mSGDMA 割り込みハンドラーに関連付けます。 コールバックが登録されている場合、すべての ノンブロッキング mSGDMA 転送はコールバックを実行させ る割り込みを有効にします。 コールバックは割り込みサービスルーチンの一部として実行されるため、「Nios II ソフトウェア開発ハンドブック」に記載されている許容される割り込みサービスルーチン動作のガイドライン ...
19
大学生を対象としたドイツ語授業におけるデータベース ソフトウェア活用の考察
... Technology：情報通信技術）を活用した外国語授業が展開されている。しか しながら、必ずしも各大学で CALL 教室を十分に活用した授業が行われているとはいえない。そ の背景として考えられるのは、第一にとりわけ英語以外の言語において教材が限定されているこ とが挙げられる。また、第二に教員のスキル不足という点も無視できない。これは単に教員の ICT ...
14
導出規則に着目した証明視覚化・式変形支援システムの提案 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... に関する研究成果を応用することで実現することができると考えている． 利用者に向けたユーザインタフェースの開発も必要である．数式変形支援に関しては， 数式を容易に入力することができるような機能が求められる．数式エディタについては さまざまな研究が行われているが，本研究では数式のセマンティクスを取り扱う必要が あるため，独自の数式入力機構を開発することが望ましい．また，証明の図示に関して ...
9
ユーザエクスペリエンスを考慮したソフトウェア開発支援
... ユーザビリティラボと呼ばれる実験室でユーザに ソフトウェアを使用してもらうことでテストをする． その操作の様子ユーザビリティエンジニアが観察，分 析することでソフトウェアの評価，改善を行う．これ により，開発者が気付かなかった効果や欠陥を見つか られるという一方で，テストユーザの力量により大き く結果が変わってしまうことがあるため，確実な結果 ...
6
数式処理の発想を利用した数学教育の試み (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... スツルムの定理とは，実係数をもつ方程式が与えられた区間 $(a, b)$ の中にいくつの実 根をもつかを決定するためのものである．多項式 $f(x)$ とその導関数 $f’(x)$ にユークリッ ドの互除法を行い最大公約因子を求め， $f(x)$ を最大公約因子で割ることによって重解 となる部分は取り除く事が出来る．更に， $f(a)\neq 0$ かつ $f(b)\neq 0$ ...
9
反転を意識した授業例 : 動的幾何学ソフトウェアを用いたアクティブラーニング (数学ソフトウェアとその効果的教育利用に関する研究)
... 鑓L2は,反転の極限として線対称が得られることを直観的に理解する教材である.円 の中心を左方向の無限遠点にアニメーションで動かすと,三角形の反転の像が,直線に関 する 線対称の像に変化していることが容易に理解できる.これが) 「極限をとることに よって,異なる変換の関係が見えてくる」 という例である.またこの事実から,反転が等 角変換であること,反転の基準となる円の近傍では近似的に等長変換であることも予想 ...
6