著者
佐藤 伸子 石濱 直樹 川崎 朋実 片平 真史
雑誌
組込みシステムシンポジウム2011論文集
巻号頁・発行日
vol.2011, pp.25-1-25-7, 2011-10-12

ロケットや人工衛星などの宇宙機に搭載するリアルタイム OS(RTOS) を高信頼化するためには,その RTOS をどのように検証しているかを明らかにする必要がある.このため,民間航空機や原子力など信頼性が重視される分野で適用されている技術標準や,過去に宇宙機の搭載計算機で発生した不具合事例を参考に,RTOS に特化した検証要求を整備した.この検証要求を,TOPPERS/HRP カーネルの検証作業で繰り返し適用し,必要な解説を追加するなどの改良を重ね,「リアルタイム OS 高信頼化ハンドブック」 として編集したので紹介する.これは,宇宙機だけでなく,信頼性が重視されるシステムの RTOS に広く適用できるものである.
著者
越智 徹
雑誌
情報教育シンポジウム論文集
巻号頁・発行日
vol.2017, no.35, pp.215-220, 2017-08-10

筆者は新入生を対象とした,情報リテラシー関連の授業を担当している.2014 年以前では,新入生の PC スキルは年々向上していたと感じられたのに対し,2014 年からは新入生のキーボード操作やファイル操作など,PC スキルが前年度よりも落ちているのではと感じることが多々あった.この原因は,急速なスマートフォンの普及と,それに伴う 「若者の PC 離れ」 があるのではないかと推測し,実態を把握するため 2015 年から 3 年間,新入生に対して PC とスマートフォンに関する調査を行った.本稿では 3 年間実施したこの調査を分析した結果を報告する
著者
鈴木 真
出版者
東洋文庫
雑誌
東洋学報 = The Toyo Gakuho (ISSN:03869067)
巻号頁・発行日
vol.83, no.3, pp.319-348, 2001-12

This article analyzes fiscal problems existing before and after the enthronement of Emperor Yongzheng 雍正帝, taking the cases of auditing the silver reserves of the Board of Revenue and its deficits. Then, the author clarifies the relationship between regulations concerning corruption by the bureaucracy concerned with the fiscal affairs and the establishment of Imperial power.Emperor Yongzheng, who was well informed about fiscal corruption, intended to grapple with reform as soon as he ascended the throne.The establishment of Imperial power and taking hold of the empire’s purse strings were indivisible. Solving of the silver reserve deficit was an immediate problem.Yongzheng ordered Yi Qinwang 恰親王 and Boldo, who had been his advisors since he was a prince, to audit the silver reserves of the Board of Revenue. Consequently, it was found in the silver deficit amounted to two million six hundred thousand liang.Yongzheng ordered former members of the Board to compensate the deficit. However, there were some bureaucrats who did not comply. They were Manchu bannermen. This fact suggests that the substance of the deficit did not involve simple illegal acts by bureaucrats but it was related to Manchu bannermen.From such a viewpoint, the author clarifies the background of the deficit caused by Board member Hifene and a clerical official of the Reserves, Zeng Dengyun 曽登雲, in order to detail the embezzlement.Emperor Kangxi 康煕帝’s princes participated in both cases. Especially in the case of Zeng Dengyun, fiscal administration was affected by the embezzlements caused by vertical relationships among the Eight Banners, between banner princes and banner bureaucrats, and their bondservants, or between banner bureaucrats and their employees.Therefore, Yongzheng, who intended to establish his power, had to carry out reform immediately after his enthronement. Furthermore, the fact Yongzheng appointed followers under his influence to the bureaucracy and tried to resolve the fiscal problems suggests a necessity to understand the fiscal history of the Qing dynasty in terms of the influence of the Eight Banners.
著者
宮下 剛輔 栗林 健太郎 松本 亮介
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.61, no.3, pp.677-686, 2020-03-15

システムの大規模・複雑化にともない,サーバの構築・運用を効率化するために,サーバの設定状態をコードで記述する手法が数多く提供されている.それらの手法を効率良く扱うプロセスとして,テスト駆動開発の手法をサーバ構築に応用したProvisioning Testingという手法が提案されている.この手法を支援するテストフレームワークもいくつか登場しているが,あるものは特定の構成管理ツールに依存,またあるものはOSごとの違いを自ら吸収しなければならないなど,汎用性に難がある.シェルコマンドを直接記述する必要があり,可読性に難があるものも存在する.そこで本論文では,生産性や保守性を向上するために,サーバの設定状態を汎用的かつ可読性の高い宣言的なコードでテスト可能なテストフレームワークを提案する.提案手法では,汎用性を高めるために,OSや構成管理ツール固有の振舞いを整理して一般化し,運用業務で発生するコマンド群を体系化・抽象化した汎用コマンド実行フレームワークを定義する.続いて,テストコード記述の抽象度を高め可読性を上げるために宣言的な記法で汎用コマンド実行フレームワークを操作できる制御テストフレームワークを定義する.これにより,管理者がOSや構成管理ツールの違いを気にすることなく,可読性の高いコードでサーバの設定状態を容易にテストできるようになり,サーバの運用・管理コストを低減できる.提案するテストフレームワークをServerspecと名付けた.提案手法の評価は,生産性,保守性に加え,拡張性,実装公開後の影響の4つの観点で行った.
著者
住元 真司 稲田 由江 三輪 英樹 三吉 郁夫
雑誌
研究報告ハイパフォーマンスコンピューティング(HPC) (ISSN:21888841)
巻号頁・発行日
vol.2019-HPC-172, no.6, pp.1-6, 2019-12-11

本稿では,Arm SVE プロセッサである A64FX 上で可変ベクトル長バイナリを用いた著名 HPC ベンチマークプログラムの評価について報告する.A64FX は Arm SVE アーキテクチャに対応しているため実行時に SIMD ベクトル長を変更できる上,独自にメモリバンド幅も変更可能である.これらの機能を用いて著名ベンチマークの実行特性を評価する.
著者
岡部 明日香
出版者
国文学研究資料館
雑誌
国際日本文学研究集会会議録 = PROCEEDINGS OF INTERNATIONAL CONFERENCE ON JAPANESE LITERATURE (ISSN:03877280)
巻号頁・発行日
no.28, pp.97-111, 2005-03-01

Genji Monogatari was written in the middle of the Heian period, but from the Kamakura period on, Chinese poetry (kanshi) based on the story and attempts to translate it into Chinese (kanbun) were made. HikaruGenji Monogatari Wo Fusuru Shi (Shouou 4) features kanshi composed for each chapter, a style that was carried on through to the late Edo period with Shi Shi Ginpyou (Tenpou 9, by Narushima Chikuzan). In the Meiji era, prose kanbun interpretations appear, such as “Wakamurasaki”, “Nakagawa Suisou Bikou (Hahakigi)”, and “Utsusemi” from Yakujun Kigo (Meiji 18, by Kikuchi Sankei) and Shi Shi (Meiji 26, Kawai Jirou).This presentation will look at such “kanyaku Genji” works, focusing on the Meiji era. The Edo period work Shi Shi Ginpyou continued to exert an influence into the Meiji era, and will therefore be looked at as well.Shi Shi Ginpyou was published in Kagetsu Sinshi (Meiji 12), a magazine run by Chikuzan’s son Narushima Ryuuhoku. In Showa 15, Chinese scholar Taniguchi Kairan of Shimane published a commentary as well as composed “Ji-in” (Chinese poems on the Genji Monogatari).Yakujun Kigo features kanyaku reneditions of a variety of works of Japanese literature, and includes partial translations of the Genji Monogatari. The Chinese scholar Adachi Keitei of Nagasaki published the work in Meiji 44 after Sankei's death, but “Nakagawa Suisou Bikou (Hahakigi)” and “Utsusemi” were excluded by Keitei based on his personal ethics. Kikuchi Sankei was also involved in editing Kagetsu Shinshi, and had an interesting connection to Shi Shi Ginpyou.Only the Utsusemi chapter remains from Shi Shi.This presentation will examine the characteristics of each interpretation, as well as the influences seen in and exerted by the works. Modern Chinese studies around the time of the Mejii Restoration carried over the literary traditions of Japan through to the Edo period while including the products of the new era. We will also try and examine what the Chinese scholars of such a time thought of the Genji Monogatari.
著者
人間文化研究機構国文学研究資料館
雑誌
史料目録 = The catalogue of historical collections
巻号頁・発行日
no.109, pp.1-392, 2019-03-31

口絵凡例総目次秋田県北秋田郡大館町中田家文書目録本文細目次解題目録本文