著者

安藤 聡 酒井 正彦 坂部 俊樹 草刈 圭一朗 西田 直樹 ANDO Satoshi SAKAI Masahiko SAKABE Toshiki KUSAKARI Keiichirou NISHIDA Naoki

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.112, no.23, pp.43-48, 2012-05

---

Malbolgeは最も難解なプログラミング言語として知られている.高級アセンブリ言語の開発によりMalbolgeプログラムの作成が可能になっているものの,プログラム中で使用できる変数の値の最大値が固定されておりゲーデルコーディングが不可能であるため,配列機能がないのは記述力不足であった.本論文ではこの問題を解決するため,高級アセンブラに用いられている実現手法を整理し,これに配列機能のための命令である領域確保命令と間接参照命令を追加する方法を提案する. Malbolge is known to be one of the most esoteric programming languages. Although it is possible to write programs in Malbolge by the development of a high-level assembly language, lack of facility to manage individual data in a group of data like an array in language causes problem because Godel-coding is impossible in a program due to bounded values in variables. In this paper, in order to solve this problem, we show implementation issues used in the assembler in well-organized manner and propose a method for implementing a memory allocation instruction and an indirect reference instruction for array facility into the assembler.

著者

中村 雅一 佐久間 広貴 酒井 正俊 飯塚 正明 工藤 一浩

出版者

公益社団法人 日本表面科学会

雑誌

表面科学 (ISSN:03885321)

巻号頁・発行日

vol.24, no.2, pp.77-82, 2003-02-10 (Released:2009-01-27)

参考文献数

15

---

This article presents the concept and some fundamental research on ‘self-assembled’ nanoscale transistors using charge transfer (CT) complexes. First, TTF-TCNQ CT complex wires of organic metals having high conductivity, are formed by applying electric field during vacuum deposition. Then, a self-aligned active part is formed in the gap between a pair of grown wires. The semiconductive part spontaneously formed at the point of wire contact can be used as an active part; besides, we can employ the metal-semiconductor (metal-insulator) phase transition devices consisting of CT complex bilayers of which electronic structure is modulated by external electric field. On the CT complex wires and CT complex bilayer transistors, some experimental results are presented.

著者

堤 利夫 酒井 正治

出版者

京都大学農学部附属演習林

雑誌

京都大学農学部演習林報告 = BULLETIN OF THE KYOTO UNIVERSITY FORESTS (ISSN:0368511X)

巻号頁・発行日

vol.56, pp.60-66, 1984-11-30

---

京都大学芦生演習林の天然生落葉広葉樹林で, 斜面上部のB_B型土壌と斜面下部のB_D型土壌の2つのプロットの細根の量と垂直分布をしらベた。B_BのプロットではB_Dのそれに比し, 乾性種が多く小径で立木本数が多い林分である。両プロットで立木間に設けた1m_2の方形枠について, 表層から10cmごとに掘りとって測定した結果, B_Dのプロットの根量は10. 25t/ha, B_Bプロットで15. 65t/haでB_Bプロットの方が根量が多かった。これらの根を径2mm以下, 2 - 5mm, 5 - 20mmに区分すると, B_Dプロットで径5 - 20mmが比較的に多く, B_Bでは逆に径2mm以下が多い傾向があった。根は地表に多く集中し, 下層に向って減少するが, B_Bプロットの方が変化が急であって, 70cm以深にはみられなかった。B_Dプロットでは径5 - 20mmの根が深さにともなってほとんど変化せず, このことが全量の減少速度を小さくしていた。径5mm以下の細根の地表からの減少速度は2つのプロットで明らかな差はなかった。細根は両プロットとも地表に集中し, 20cm深までに全細根量の65-77%を含む。その量はB_Bプロットでとくに多く, F・H層, A層が物質循環の主な場であることを示唆した。

著者

酒井 正志 安藤 隆之 玉崎 紀子 服部 厚子

出版者

中京大学文化科学研究所

雑誌

文化科学研究 (ISSN:09156461)

巻号頁・発行日

vol.26, no.47, pp.55-100, 2014

著者

福光 正幸 長谷川 真吾 岩崎 淳也 酒井 正夫 高橋 大樹

雑誌

研究報告マルチメディア通信と分散処理(DPS) (ISSN:21888906)

巻号頁・発行日

vol.2016-DPS-166, no.6, pp.1-8, 2016-02-25

---

商用オンラインストレージサービスに保存されたユーザデータは,ターゲット広告配信や犯罪捜査の目的でサービス事業者側で解析されたり,第三者からの攻撃により改変/漏洩される恐れがある.その対策として,ユーザ側でデータを暗号化し,さらに,秘密分散法により分割して,複数のオンラインストレージに分散保存して守る技術が提案されている.しかし,強力な攻撃者から標的にされた場合,この対策だけでは十分ではない.攻撃者は,標的ユーザの通信を傍受することで分散保存先の特定が可能であり,さらに,その全ての攻撃に成功した場合は,保存データを消失させたり,暗号データを奪うことも可能である.また,奪われた暗号データが,オフラインのブルートフォース攻撃により解読される恐れもある.そこで,本稿では,秘密分散法に匿名通信技術を援用した P2P 型ストレージ技術を提案する.提案法では,P2P ノードが相互に匿名通信を用いてデータを送受信して保存し合うことにより,攻撃者の通信傍受による分散保存先の特定が不可能になり,分散保存先への攻撃を困難にできる.ところで,提案法のようにデータを不特定な P2P ノード群に分散保存して秘匿する場合,一般的には,その分散保存先の情報を復元用メタ情報としてユーザ端末などに残す必要がある.しかし,そのメタ情報は格好の標的であり,攻撃者によるユーザ端末の盗難やハッキングを受ける恐れがある.そこで,本稿では,ブロックチェーンの技術を援用することで,メタ情報も P2P ストレージ上に秘匿し,ユーザ端末でのメタ情報の保存を不要にし,復元時にはユーザ名とパスワードのみを用いて,P2P ストレージ上の保存データに安全にアクセスできる仕組みも提案する.

著者

鈴木 信哉 中林 和彦 大河内 啓史 畑田 淳一 川口 真平 酒井 正雄 佐々木 徳久 伊藤 敦之

雑誌

日本胸部疾患学会雑誌 = The Japanese journal of thoracic diseases (ISSN:03011542)

巻号頁・発行日

vol.35, no.1, pp.61-66, 1997-01-25

被引用文献数

2

著者

馬野 洋平 酒井 正彦 西田 直樹 坂部 俊樹 草刈 圭一郎 UMANO Yohei SAKAI Masahiko NISHIDA Naoki SAKABE Toshiki KUSAKARI Keiichirou

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.107, no.392, pp.73-78, 2007-12 (Released:2015-01-20)

---

近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は,SATソルバを利用した解法を応用して問題め矛盾・解の一意性を高速に検出することにより実現している. In recent years, several efficient SAT solvers, which decide satisfiability of boolean formulae, have been developed and used in solving Sudoku puzzles. In this paper, we present the interactive tool for designing Sudoku puzzles that we constructed experimentally by using a SAT solver. This tool contains three main functions: 'displaying numbers that can be filled in a cell without a contradiction', 'displaying cells without contributing the uniqueness', 'displaying a partial solution obtained by fundamental techniques.' The implementation of the former two functions relies on efficient checks of a contradiction or uniqueness of the given problem by using a SAT solver.

著者

大峯 幸雄 酒井 正樹 青木 義満 高木 幹雄

出版者

可視化情報学会

雑誌

可視化情報学会誌. Suppl. (ISSN:09164731)

巻号頁・発行日

vol.24, no.2, pp.75-78, 2004-09-15

著者

石橋 祐子 村上 照夫 湯元 良子 酒井 正彦 新谷 洋通 板羽 秀之 神辺 眞之 益田 慎 夜陣 紘治 木平 健治 高野 幹久

出版者

公益社団法人 日本薬学会

雑誌

YAKUGAKU ZASSHI (ISSN:00316903)

巻号頁・発行日

vol.124, no.11, pp.833-840, 2004 (Released:2004-11-01)

参考文献数

15

被引用文献数

6 6

---

Burow's solution, or aluminum acetate solution, is effective in inhibiting various microorganisms including methicillin-resistant Staphylococcus aureus (MRSA) that are commonly observed in chronic suppurative otitis media. It takes several days to prepare Burow's solution using aluminum sulfate, and the pharmaceutical properties of the solution are not fully understood. In this study, the effect of storage (5 months) of Burow's solution prepared according to the Teine-Keijin Hospital manual on its pharmaceutical properties and antibacterial activities was examined. We also attempted to develop a rapid preparation method of aluminum acetate (or 1.7% aluminum) solution using two commercially available compounds of aluminum acetate basic (Al2O(CH3CO2)4, Al(OH)(CH3CO2)2). The properties of Burow's solution, pH, osmolarity and antibacterial activity, were the same among different preparations and its storage for 5 months at 4°C had no effect on these properties. The antibacterial potency of Burow's solution was dependent on aluminum concentration and its antibacterial potency against S. aureus and several MRSA strains was of the same magnitude. In a rapid preparation, aluminum acetate basic was mixed with appropriate amounts of tartaric acid and acetic acid, and the suspension was boiled for 2—2.5 hr until dissolved. The rapidly prepared aluminum acetate solution showed the same pharmaceutical properties and antibacterial activities as those of Burow's solution. The newly developed preparation method for aluminum acetate solution is expected to be convenient and feasible for hospital treatment of chronic suppurative otitis media.

著者

酒井 渉 山内 博 國吉 繁一 飯塚 正明 酒井 正俊 工藤 一浩

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. OPE, 光エレクトロニクス (ISSN:09135685)

巻号頁・発行日

vol.112, no.296, pp.7-11, 2012-11-09

---

有機ELディスプレイとして優位性を有するアクティブマトリクス駆動型の新型構造素子を提案した。また駆動用トランジスタの半導体層として塗布型ZnO 系材料に着目し透明ZnOトランジスタを作製した。一般にZnO薄膜は熱処理を行うことで特性の向上が見込まれるが、プラスチック基板等に対応するためには加熱温度を可能なだけ低温化させることが望ましい。そこで今回はUV/O_3アシスト熱処理法を行い、プロセス温度の低温化を実現した。

著者

酒井 正志

出版者

中京大学

雑誌

文化科学研究 (ISSN:09156461)

巻号頁・発行日

vol.12, no.1, pp.39-52, 2001-03-10

著者

酒井 正明 齋藤 洋典 白石 知子 井藤 寛志

出版者

日本認知科学会

雑誌

認知科学 (ISSN:13417924)

巻号頁・発行日

vol.16, no.3, pp.433-447, 2009 (Released:2010-09-10)

参考文献数

14

---

Designers are expected to create beautiful and functional products. Based on a concept of user-friendliness, users expect to understand functions mounted on a product without special knowledge and experience with the manipulation of the designers' real product, while usability of products is measured in terms of users' observation and manipulation. The purpose of this study was to focus on users' observation and to examine whether users can correctly understand functions of a designed product (digital sphygmomanometers), regardless of their medical knowledge, without manipulation. We conducted two experiments to test whether users, regardless of their expert knowledge, elicit high marks in the function-estimation task as well as in the beauty-evaluation task. Two groups of students with or without nursing education were asked to estimate functions and evaluate beauty of two types of digital sphygmomanometer (an old design model and its new model redesigned) based solely on the observation of the products' pictures without manipulating the real products. The results indicated that the two groups of participants showed higher correct responses to the old type than the new type in the function-estimation task, while they showed higher evaluations of the new type than the old type in the beauty-evaluation task. In particular, the results of nursing students in the function-estimation task indicated that medical knowledge in the nursing group did not contribute to the correct estimation of the operation procedure for the new model. These results suggest that designer's efforts for the new model were successful in production of beauty but were not successful in production of perceptive functionality under the present observation condition without manipulation of the real products. We discussed these results based on a framework of co-existence of beauty and functionality in the designers' work.

著者

辺見 努 松井 邦浩 小泉 徳潔 中嶋 秀夫 飯島 亜美 酒井 正弘

出版者

公益社団法人 低温工学・超電導学会 (旧 社団法人 低温工学協会)

雑誌

低温工学 (ISSN:03892441)

巻号頁・発行日

vol.47, no.3, pp.172-177, 2012-03-25 (Released:2012-07-04)

参考文献数

6

被引用文献数

3 3

---

The manufacturing process for ITER toroidal field (TF) coils must be demonstrated as effective in order to meet the criteria for qualification. Since impregnation of the insulation system is one criterion for qualification in this study, we performed impregnation tests using a cyanate-ester/epoxy blended resin, chosen for its excellent resistance to radiation. To establish the insulation and impregnation procedure in the TF coil manufacturing process, three types of trials were performed: 1) impregnation tests using an acrylic model to fix the impregnation conditions; 2) an impregnation test using a metallic model to confirm that no void remains in the insulation layer after curing in the D-shaped configuration; and 3) insulation and impregnation trials using a 1/3-scale double-pancake (DP) model. The results of these trials were used to determine the insulation and impregnation procedures for manufacturing ITER TF coils.

著者

酒井 正博 青木 宙 北尾 忠利 ジョン ロオベック ジョン フライヤー

出版者

日本水産學會

雑誌

日本水産学会誌 (ISSN:00215392)

巻号頁・発行日

vol.50, no.7, pp.1187-1192, 1984

被引用文献数

15

---

The cellular immune response of rainbow trout <i>Salmo gairdneri</i> immunized by immersion or injection with <i>Vidrio anguillarum</i> bacterin was investigated using the passive antibody producing cell assay and passive antidody rosette-forming cell assay. Antibody-producing cels (plaqueforming cell: PFC) were rarely detected in the anterior kidney and spleen of raindow trout immunized by immersion. PFCs were detected in fish immunized by injection and reached the maximum level on the 13th day after immunization. The number of antigen-bingding cells (rosette-forming cells: RFCs) increased rapidly in the anterior kidney and spleen of rainbow trout vaccinated by immersion or injection. The RFC reached the maximum level on the 11th day after immunization. After that the number of RFCs gradually decreased until it reached the same level as that in non-immunized fish on the 28th day. The hemagglutinating antibody of the serum against <i>V. anguillarum</i> of fish vaccinated by immersion tended to be as low as the serum of non-vaccinated fish. However, the hemagglutinating antibody in fish vaccinated by injection was detected first on the 13th day after immunization. The maximum value of the titer was reached on the 28th day after immunization.

著者

斉藤 雅也 片山 めぐみ 伊藤 哲夫 吉田 淳一 吉野 聖 酒井 正幸

出版者

一般社団法人日本建築学会

雑誌

日本建築学会技術報告集 (ISSN:13419463)

巻号頁・発行日

vol.15, no.29, pp.207-210, 2009-02-20

---

The old-fashioned orangutan house in Sapporo Maruyama Zoo was renovated with a concept of "environmental enrichment" in 2008 spring. The concept was stretched for not only the orangutan but also visitors and a zookeeper as well. In the outside field for the orangutan, there are soils, many natural plants, and some play equipments such as ropes, beds, seat swings, and ponds. On the other hand, at the observation area for visitors, they can see the movement and the condition of the orangutan at close range through the full-height glazing. In summer solar shading strategies as Sudare and louvers can provide the cool spots for the orangutan, visitors, and a zookeeper as well.

著者

水野 健一 草刈 圭一朗 酒井 正彦 坂部 俊樹

出版者

京都大学数理解析研究所

雑誌

数理解析研究所講究録 (ISSN:18802818)

巻号頁・発行日

vol.1375, pp.247-252, 2004-05

著者

酒井 正彦 坂部 俊樹

出版者

名古屋大学

雑誌

挑戦的萌芽研究

巻号頁・発行日

2010

---

本研究の目的は、プログラムの解読・改ざんが大変困難なプログラム言語であるMalbolgeを、ソフトウェア保護の目的に利用できるようにすることである。最も大きな問題点である、該当の言語でのプログラム作成の困難性を克服するため、Malbolgeのチューリング完全性を示し、Malbolgeプログラム作成手法の大枠を確立した。

著者

小野 寛晰 青戸 等人 鹿島 亮 石原 哉 外山 芳人 WOLTER Frank 酒井 正彦

出版者

北陸先端科学技術大学院大学

雑誌

基盤研究(C)

巻号頁・発行日

1996

---

本研究の目標は、計算機科学に現われる数理論理学の問題を理論と応用の両面から解明しようとするものである。本年度に得られた成果のうちの主要なものを以下にあげる。1.代数的手法による縮約のない部分構造論理の一般論の展開(小野)2.部分構造論理におけるMaksimovaの変数分離の原理の研究(小野)3.直感主義的様相論理の研究(青戸、小野)4.項書き換え系における停止性および合流性に関する研究と関数型プログラム言語への応用(外山、青戸)5.弱い含意命題論理に対する証明論(鹿島)6.構成的数学の展開(石原)1)の縮約規則をもたない論理の一般論については、小野はその成果をポーランド、スウェーデン、スペイン、ドイツで発表した。また北陸先端科学技術大学院大学において、オーストラリアのM.Bunder博士、R.Gore博士およびアメリカのA.Scedrov教授とそれぞれ部分構造論理に関する共同研究をおこなった。2)については、いくつかの部分構造論理に対しMaksimovaの原理を証明論的手法により証明した。このようなアプローチはこの研究が始めてである。3)の直観主義様相論理については、青戸がその有限モデル性についての興味深い結果を示した。4)の項書き換え系とその応用については、外山と青戸が精力的に研究をおこない、優れた成果をおさめている。弱い含意論理におけるcut elimination theoremについては鹿島が、また構成的数学については石原がいくつかの成果をあげた。

著者

三浦 真也 酒井 正夫 静谷 啓樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. WBS, ワイドバンドシステム : IEICE technical report (ISSN:09135685)

巻号頁・発行日

vol.106, no.599, pp.125-130, 2007-03-09

参考文献数

7

---

本稿では,オーディオコンテンツに対する新しい電子透かし技術として「乱択法」と「うなり法」を提案する.乱択法は,秘密情報である電子透かしを,誤りを許容して冗長に埋め込み,それを多数決アルゴリズムを用いて検出することで,コンテンツの品質低下を抑えながら,検出精度の向上を可能にする手法である.また,うなり法は電子透かしを,人間が知覚困難なうなりの形でオーディオデータに埋め込む手法である.うなり法と乱択法を併用することで,高密度な電子透かしを埋め込むことが可能である.評価試験により,提案法の性能を検証する.