1 0 0 0 OA 超音波診断法の原理と基礎知識
- 著者
- 橋本 健二
- 出版者
- 学術雑誌目次速報データベース由来
- 雑誌
- 都市問題 (ISSN:03873382)
- 巻号頁・発行日
- vol.85, no.3, pp.77-87, 1994
1 0 0 0 OA 資本主義社会の再生産と国家装置の理論
- 著者
- 橋本 健二
- 出版者
- 東京大学
- 雑誌
- 東京大学教育学部紀要 (ISSN:04957849)
- 巻号頁・発行日
- vol.27, pp.249-257, 1988-02-10
The state is one of the central problems in a recent social science. There are two key problems in theories of the capitalist state. One is determinant of forms and functions of the state, another is functions of the state to the structure of capitalist society. Many theorists have been engaged in these problems in various way. We need to unify these previous approaches and have a more generalized theory. I try to this by distinguishing Levels of Analysis and Modes of Determination. Functions of the state, to secure reproduction of structure of capitalist society, can be analized on four levels of analysis : levels of mode of production, class structure, social formation, and concrete society. Determinants of functions of the state can be understood as complex of structural limitation, conducts of members of state apparatus and influences of social classes. These theoretical considerations are part of sociology of state activities in general.
- 著者
- 森本 卓爾 橋本 健二 石原 靖哲 藤原 融
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. DE, データ工学 (ISSN:09135685)
- 巻号頁・発行日
- vol.107, no.131, pp.109-114, 2007-06-25
本稿ではXPath部分クラスの問い合わせを,木埋め込み関係に基づいたXMLスキーマ進化に応じて正しく変換する手法を提案する.正しい変換とは,進化前スキーマに従うXML文書に対する問い合わせ結果と,進化後スキーマに従うように変換した任意のXML文書に対する問い合わせ結果が等しい変換を言う.提案した手法が正しい変換を行っていることを証明する.
- 著者
- 森本 卓爾 橋本 健二 石原 靖哲 藤原 融
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告データベースシステム(DBS) (ISSN:09196072)
- 巻号頁・発行日
- vol.2007, no.65, pp.109-114, 2007-07-02
本稿では XPath 部分クラスの問い合わせを、木埋め込み関係に基づいた XML スキーマ進化に応じて正しく変換する手法を提案する。正しい変換とは、進化前スキーマに従う XML 文書に対する問い合わせ結果と、進化後スキーマに従うように変換した任意の XML 文書に対する問い合わせ結果が等しい変換を言う。提案した手法が正しい変換を行っていることを証明する。A method is proposed for translating queries in a subclass of XPath according to XML schema evolution based on the tree-embedding relation. A query translation is said to be correct if the result of every query to an XML document valid against the schema before evolution is equal to the result of the translated query to the XML document valid against the schema after evolution. Correctness of that the translation method is correct is proved.
1 0 0 0 デバイスペアリングを利用した位置証明プロトコルの提案
- 著者
- 小田将之 橋本健二 楫勇一 関浩之
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 研究報告コンピュータセキュリティ(CSEC) (ISSN:09196072)
- 巻号頁・発行日
- vol.2014, no.37, pp.1-6, 2014-02-27
近年,利用者の位置に応じた情報を提供する位置情報サービスが注目されている.しかし,位置情報の改竄によりサービス提供者や他のユーザが不利益を被ることがある.また,位置情報はユーザのプライバシー情報であるため,その保護についても十分配慮しなければならない.このような理由から,ユーザの位置情報が正しいことをユーザのプライバシーをできるだけ開示せずに証明するための位置証明プロトコルが提案されてきたが,改竄防止等のため位置証明書生成に関わる参加者全てに PKI 等の基盤を仮定しており運用面からは必ずしも簡便とはいえない.本研究では,位置証明プロトコルとデバイスペアリングを組み合わせたプロトコルを提案し,従来手法と比較してプロトコルの軽量化が可能であることを示す.また,提案プロトコルの安全性やプライバシーなどの性質について議論する.さらに,我々が既に開発済みの,人間の動作に基づく共通鍵生成法をデバイスペアリングとして利用し,Android モバイルデバイス上で動作するアプリケーションとして提案手法を実装した.実証実験の結果,正当なユーザに位置証明書を発行できる確率は 93.2%,正当でないユーザに発行してしまう確率は 0%であった.また,位置証明書の生成と検証にかかる実行時間はそれぞれ平均 37 ミリ秒,7 ミリ秒であった.
本研究では,2足歩行ロボットの足部に着目し,砂利道や砂地などの脚接地面が変形するような路面に対する適応歩行の実現を目指し,接地面積が大きく確保でき,路面との接地圧を分散可能な足部機構を開発することを目的とする.しかし,足部機構単体だけではそのような路面すべてに対応することが困難であると考えられるので,歩行を安定化させる制御の開発も必要に応じて行う.計画の前半である平成19年度では,以下の2点について研究を推進した.(1)路面形状保持機構の考案路面の凹凸にならう際に接地面積が大きく確保でき,路面との接地圧を低減させることが可能な路面形状保持機構を考案した.これはスチールボールと永久磁石からなり,路面の凹凸にスチールボールがならい,ロック時にはそこに磁場をかけ,路面形状を保持するというものである.(2)着地衝撃緩和を目指した不整路面適応制御の構築これまでに考案してきている着地軌道修正制御は,そのアルゴリズム上の問題のため,歩行時における着地衝撃が問題となり,継続的な歩行安定性に悪影響を及ぼすという問題点があった.そこで,不整路面に適応しつつ,着地時における衝撃力を緩和する歩行安定化制御のアルゴリズムを考案した.着地時におけるならい動作および着地衝撃緩和に関しては,遊脚中にモータの位置ゲインを下げることにより脚部コンプライアンスを上げ,足底6軸力センサにて測定される力の微分値の立ち上がりにより着地を検知し,運動量保存則に従い,足先速度を0にすることで衝撃緩和を図った.この手法により,従来用いていた着地軌道修正制御においておよそ1000N程度発生していた着地時における衝撃を,およそ400N程度と,自重の30%程度にまで低減させることに成功した.
1 0 0 0 OA 戦後日本における「女性職」の形成・定着過程に関する実証的研究
- 著者
- 橋本 健二
- 出版者
- 千書房
- 雑誌
- 社会理論研究 (ISSN:1345725X)
- 巻号頁・発行日
- no.9, pp.22-45, 2008-11