利用しているツールと
IIJダイレクトアクセス APN簡易設定ツール（APNSetupperD.exe）を利用した接続方法
... 本書は著作権法上の保護を受けています。 本書の一部あるいは全部について、著作権者からの許諾を得ずに、いかなる方法においても無断で 複製、翻案、公衆送信等することは禁じられています。IIJ、InternetInitiativeJapanは、株式会社イン ターネットイニシアティブの商標または登録商標です。その他、本書に掲載されている商品名、会 ...
15
JAIST Repository: 検証ツールの展開とそのカリキュラムでの利用
... 形式検証とは • システムやプログラム、ならびに満たすべき性質の双 方を形式的に記述（＝計算機でチェック可能な形で） – 形式的記述の背景は数理論理（推論の規則化） • 論理の表現力と自動化・効率化のトレードオフ ...
26
JAIST Repository: モデル検査技術を利用したプログラム解析器の生成ツール
... static メソッド int mss(int[]) を持っている．なお， mss(int[]) は最大部分列和問題（ Maximum Segment Sum ， mss ）を解くメソッドである． Java プログラム の変数 a ， ret ， debug ， s ， i はそれぞれ Jimple プログ ラムの変数 r0 ， i0 ， i4 ， i1 ， i2 に対応しており， ...
14
desknet's NEO スマートフォン版 セキュアブラウザについて セキュアブラウザは デスクネッツを自宅や外出先などから安全に利用するためのツール ( アプリ ) です セキュアブラウザというアプリを使用してデスクネッツを利用します 通常のブラウザアクセスと同じようにデスクネッツをご利用頂けま
... Windows / Mac : アプリ終了時、ログアウト時 iOS / Android : ログアウト時、ホームボタン等でアプリ終了後 10 分以上経過してからアプリを再度立ち上げた時 お問い合わせについて お問い合わせは、製品ホームページのお問い合わせページよりお願い致します。 http://www.desknets.com/cloud/support/ ...
12
ダイキンフロン点検ツール Dfct 利用マニュアル
... QRアプリの利用方法 ③ QRコードの読み取りに成功すると、左記の確認ダイアログが 表示されるので、「登録する」を選択します。 ④ 機種名・製造番号をQRコードから自動入力し、その他の機器 の情報をサーバのマスタから読み取り自動で入力します。上記 以外の項目（物件情報、設置場所、系統名、点検等相談先等を 入力のうえ、登録を行ってください。 ...
27
概要 PET(Positron Emission Tomography) 陽電子断層画像装置はがん診断に有用なツールとなっている 早期発見によりがんは完治する病になってきているが それには画像診断法の進歩が大きな寄与をしている 患者の QOL(Quality Of Life) 向上のために短時間でな
... 47 シンチレータで捕獲できる対消滅γ線の数が最大になると考えら れる。また、幾何学上 14.6mm の位置で back to back のγ線を同 時計数できなくなるので、そこからは信号が減尐していく。この減 尐の仕方であるが、同時計数可能な範囲を超えると、線源からシン チレータを見込んでγ線のシンチレータ内の相互作用長は、両シン チレータでそれほど変化はないので、理論上 ...
56
スマートフォンを利用している女性は 43.2% スマートフォン利用率 マダガラ女子 56.8% スマホ利用者 43.2% 20 代 ~40 代の女性 507 名へインターネット調査を行い 現在使用している携帯電話について聞いたところ 43.2% の女性がスマートフォンを利用している結果であった 昨年
... 現在スマートフォンを利用していない女性の内、スマートフォンデビューしたいと思っている割合は、 54.5%。45.5%の女性が当分そのつもりがないと回答した。スマートフォンデビューしなくても良い理 由としては、 ...
6
開発工程ごとの解析項目 設計においてはモデルベース開発を適用したが 検証 解析種別により複数の解析ツールを用途に応じて使い については 下記の理由から各種ツールを利用した コー 分けている 表１ また 図３に示すように コード解 ド解析 を実施することとした 析 専任者 が使用する解
... 開発現場での地道な改善活動により開発能力は毎年少 しずつ向上しているが、それだけでは近年高まるソフト ウェア開発の要求量と要求スピードについていくことが できない状況となってきている。かつて車載ソフトの開 発現場ではアセンブラベースの開発からC言語ベースの開 ...
6
インターネットにおけるコミュニケーションツールの利用とパーソナリティ特性との関連 [ PDF
... れた。これらの「回避」 ， 「見捨てられ不安」 ， 「依存」と いう３つのパーソナリティの偏り傾向が，携帯電話依存 傾向に影響を与えることが示された。また，藤・吉田 (2009)のインターネット利用行動との関連から，パーソ ナリティ特性から生じる不安感やパーソナリティ特性に よって日常抑制している欲求を解消するために携帯電話 ...
4
手順書 20 イメージ最小化作業 はじめに JumboSpot を動かすために使用している RaspberryPi( 以下 ラズパイ という ) に Pi-Star という OS 兼ソフトウェアを microsd カードにセットアップして利用しているが バックアップイメージを残す際に利用するソフトウ
... ・USB メモリーや USB ハードディスクなどの外部記録装置（イメージサイズの倍以上の容量必要） ・単一のローカルエリアネットワーク（WindowsPC と JumboSpot を同じネットワークに接続） ・手順書 13～手順書 19 の作業完了 ・Pi-Star バックアップイメージ ・resizeimage.pl 自動スクリプト ...
6
情報セキュリティ基本方針 ITを利用した経営環境が 当社に導入されて久しい その間 当社の扱っている情報が コンピュータ上で扱われることが当然のこととなった ITは その導入による業務効率の影響は甚だしく また 経営支援ツールとしても今後も大いに活用していくべきものである インターネットを利用してビ
... は、直ちに不備を是正し、不備の内容と対策状況を情報セキュリティ委員会に報 告すること。 （９）サーバ管理者は、セキュリティ侵害が発生した場合、セキュリティ侵害時の対 応手順書に則って速やかに対応すること。またサーバ管理者は、セキュリティ侵 害時の情報を、できるだけ速やかに、情報セキュリティ委員会に報告すること。 ...
147
文書作成で利用できる作図ツールと KETpic (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
... 一方で，図の一部に斜線を入れるなどの様々な装飾を付け加えたり日本語を書き込ん だりすることは難しくない．また，画面上でグラフを表示すると，2 つのグラフは色で 区別され分かり易い．しかし， PGFplots はモノクロ印刷して配布する文書を作成する ことを想定して設計されていないので，図によっては ( 特に空間図形など ) 分かり難い ...
8
第2章CT利活用の進展 図表 利用している ICT 端末 ( 年代別 )
... コニコ動画等）」を娯楽目的での動画視聴の最も一般的手段としている人は若い年代ほど多く、20代以下では2 割強に達している（ 図表2-2-3-3 ）。 3 コミュニケーション 続いて、身近な友人や知人と1対1のコミュニケー ションを行う際、どのような手段を最も頻繁に利用して ...
11
契約について 利用者さんは理解してハンコを押しているのかが議論に上がったが 利用者さんの中で理解している人はわずかだと考える さんがすすめるなら といった 職員さんを信用して契約すること 何もわからず 適当にしてしまう人と様々だが 日本人特有のあいまいなフィードバックがあると思う あいまいに流された
... ・契約についての説明の際、重要事項説明の話が出されていましたが、よく理解しないまま判子を押す、同意 をするというのは多数あるのではないかと考えています。不動産会社でアルバイトをしたことがあるのです が、重説をよく聞かないまま、押印する方が多くいたのが印象深かったです。福祉サービスを利用する人であ ...
8
回答者のうち 68% がこの一年間にクラウドソーシングを利用したと回答しており クラウドソーシングがかなり普及していることがわかる ( 表 2) また 利用したと回答した人(34 人 ) のうち 59%(20 人 ) が前年に比べて発注件数を増やすとともに 利用したことのない人 (11 人 ) のう
... 6 の大きな役割であることがわかる。 クラウドソーシングの導入に関して、新規事業の場合では過半数（52％）の企業が部門・部署レベルで 意思決定を行っている（表 11） 。すなわち、新規事業におけるクラウドソーシングの導入決定の多くは組 織レベルで行われている。これに対し、主力事業の場合では、クラウドソーシングの導入は組織的な意思 ...
8
訪問看護を利用している男性介護者の実態と支援ニーズ : 夫介護者と息子介護者の比較による検討
... は、息子介護者に比べてヘルパーサービス（家事）の 利用が少なく、家事を抱え込んでいる状況であったと 報告している（彦，鈴木，金川他，2013）。反面、夫 の方が未婚の息子よりも相談・カウンセリングを求 める傾向にあったという報告もある（金川，彦，鈴 木，2012）。高齢者虐待については、その加害者の約 ...
12
(2) カフェの認識の違いによってカフェ利用に差はあるのか? 落合琴美 1 目的 実際にカフェを利用すると カフェにはさまざまな利用目的を持った人たちが訪れていることに気がつく パソコンを開いている大人や 参考書を開いている学生 本を読んでいる人もいれば 楽しそうに会話をしている人もいる 私は この
... 示会などのイベントを定期的に開いたり、家具屋・花屋・ケーキ屋などの同・他業種と店舗内融合 し、さまざまな取り組みや情報を地域の人々に伝える形態のカフェが存在している。このように、 現代カフェは多様化する人々のニーズをうまく取り入れている。つまり、利用者にとって数多くの ...
35
ダイキンフロン点検ツール Dfct 利用マニュアル
... １ユーザー代行登録時に ※２ 「編集権限を与える」 が設定されている場合、販売店様でのお客様の機器 の追加・編集が可能となり、 が表示されます。 ユーザーにＤｆｃｔ引渡し時は、上記設定が引き継 がれますが、ユーザー承認後は、ユーザー自身で設 定変更（共有・編集）が可能となります。 ...
18
DNS設定ツールご利用マニュアル
... ・ MXレコード MXレコードは、対象ドメイン宛のメール配送先ホスト名を定義するレコードです。 メール転送先ホスト名はAレコードで登録しておく必要があります。 お客様にて設定を行ったAレコードを参照し、メールサーバのIPアドレスを取得します。 その為、Aレコードを設定されてない場合は正常に動作いたしませんのでご注意ください。 ...
24
IT サービスを 利用している 経営体と 利用していない 経営体の売上高増加率を比較すると IT サービスを 利用している グループの売上高増加率 (21.4%) は 利用していない グループ (17.0%) より 4.4 ポイント高くなっています また 農業所得 ( 経常利益 ) 増加率は IT
... 2 調査要領 １．調査目的 農業分野において、他産業との競合などから労働力の不足が顕著になっている。本調査で は、日本政策金融公庫（日本公庫）が平成 29 年 7 月に実施した「平成 29 年上半期農業景況 調査」で、雇用状況の動向及び労働力不足への対策について調査した。また、生産性向上や 効率化等をもたらすものとして IT ...
36