トップページ⇒linux
1002コメント299KB

【Raspberry Pi】ラズベリー・パイ part28【ARM】 [無断転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001login:Penguin2016/12/08(木) 22:20:02.81ID:Y9OEXKB6
Raspberry Piシリーズはクレジットカードサイズのコンピュータ。いろいろな用途に使えますが
いろいろと割り切りが必要な部分もあるよ。ケースやカメラモジュールもあります(別売)
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃たいせつなこと: 安定した5V電源の確保が安定動作への第一歩かも  ┃
┃ACアダプタと接続ケーブル、それぞれに十分な電流容量のものを    ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
Pi3発売。802.11 b/g/nワイヤレスLAN、Bluetooth 4.1搭載
Raspberry Piシリーズを大雑把に世代分けすると
第一世代:Model A, B, B+, Zero, Compute Module (CPU: BCM2835 ARMv6 Single-core)
第二世代:Pi2 (CPU: BCM2836 ARMv7 Quad Core)
第三世代:Pi3 (CPU: BCM2387 ARMv7 Quad Core)
公式サイト: http://www.raspberrypi.org/
Wiki Hub(英語): http://elinux.org/RPi_Hub
ラインナップ ttp://www.element14.com/community/docs/DOC-68090/l/raspberry-pi-zero-pi-2-b-a-compute-module-dev-kit-comparison-chart

各種ダウンロード ttp://www.raspberrypi.org/downloads/

・SDカードには必要最低限の書き込みで運用
ハードに使うとSDはサクッと死にます。使い捨て上等!の割切りも時に必要
安定運用な状態のときにSDを複製(バックアップ)しておき、有事に備えましょう
/bootのみのROは理に適います(/bootだけはSDから移動不可、他はUSBのマスストレージに置ける)

◆販売元
Element 14 http://www.element14.com/community/community/raspberry-pi
アールエスコンポーネンツ http://jp.rs-online.com/web/generalDisplay.html?id=raspberrypi
ModMyPi http://www.modmypi.com/shop/

前スレ
【Raspberry Pi】ラズベリー・パイ part27【ARM】
http://hayabusa6.2ch.net/test/read.cgi/linux/1478325736/
0083login:Penguin2016/12/12(月) 22:49:52.59ID:MLN2S+Lx
消費電力低くてミニマムな構成が必要な人には意味があるんじゃない?
バッテリ環境でモニタリングや制御なんか任せるにはピッタリ
0084login:Penguin2016/12/12(月) 23:27:52.12ID:xzbG3rdj
LANというよりTeraTermを使って4800bpsとか9600bpsでコミュニケーションする世界だわな
・・・それならArduinoでいいじゃん・・・って話だがw
0085login:Penguin2016/12/12(月) 23:31:13.36ID:W1fpEZUW
ちょいとエロ詳しい人教えて
Raspbian KODI Retropieのトリプルブートなんだけど、どうやるん?あれ
0086login:Penguin2016/12/12(月) 23:39:39.14ID:Sc5zDCJt
知ってるがおまえの態度が気に入らない
0087login:Penguin2016/12/12(月) 23:44:40.42ID:W1fpEZUW
(≧∇≦)お願いいたします!
0088login:Penguin2016/12/12(月) 23:54:32.05ID:LtaUvs6C
>>82
Zeroは小型の組み込み向けって感じだから、LANイラネって用途に使う場合も多いだろからな
LAN必要ならZeroじゃないのを買えって感じだろ
後、小型で値段重視にのZeroにLAN必要なら自分でUSB (W)LANを付けるぐらいしろよ(本音は、ケチなゆとりはこんなことすらできないのかよ)
だろな。あと、ゆとりなら40pinヘッダがついてないって駄目だろかな(つけるの俺には超大変)
0089login:Penguin2016/12/13(火) 00:03:49.67ID:luUnMiPA
>>84
Piユーザーはかなりのレベル高いことするためにZeroをつかう。
CPUはそれに合わせて高性能でないと駄目。
性能がArduinoレベルで良いならArduinoを使うだろうな
0090login:Penguin2016/12/13(火) 00:58:46.66ID:UgPUtWGv
pi2や3があっさり動いてraspi-updateでもなかなか文鎮化せずtmpfsなんかもコピペで簡単に設定できて物足りなくなってきたマゾがzero試すんじゃないの?
なおなぜかシリアル通信は毛嫌いされる模様。
0091login:Penguin2016/12/13(火) 05:31:25.07ID:2U1G4dqp
ゼロは無線LANとUSBアダプタ、micro SDカードが必要だから安くない
専用ケースが出るとしても500円はするだろうから
ゼロからそろえるなら2000円いっちゃうね
0092login:Penguin2016/12/13(火) 05:32:32.09ID:2U1G4dqp
ちなみに日本で発売して在庫掃けたらゼロ+とか2ゼロとか出すんだろ
0093login:Penguin2016/12/13(火) 05:54:45.79ID:84wcNFRv
えらいネガティブだけどどうした?
年末進行で疲れてるのか?
0094login:Penguin2016/12/13(火) 08:23:57.14ID:Waz/p73L
ふつうにmbedでいいだろ
0095login:Penguin2016/12/13(火) 08:47:02.40ID:+/bNX+WX
>>89
負荷が高いのとレベルが高いのは別だろ
俺は今まで見せてもらったZeroの使い方でZeroの性能を使い切ってると言えるのは
無限アニメ動画再生機やエミュくらいしかないが、そういうのがハイレベルな使い方か?
0096login:Penguin2016/12/13(火) 08:55:46.63ID:84xicvex
えっラズパイzeroってそんな仕様だったんだ。
どうせ買えないからスルーしてたけどorangepiと同じだと思ってたわ。
0097login:Penguin2016/12/13(火) 12:10:28.03ID:7NUZzk5E
>>95
それはお前の頭のレベルのもんだいじゃん?
0098login:Penguin2016/12/13(火) 12:22:04.63ID:e+q40MJ9
>>95
知能指数ゼロ
0099login:Penguin2016/12/13(火) 12:28:02.25ID:T2LW1XOX
>>91
>ゼロは無線LANとUSBアダプタ、micro SDカードが必要だから安くない
使い道が違うから・・・
0100login:Penguin2016/12/13(火) 13:42:50.10ID:e+Zc/hhb
>>91
逆にセットアップ済ませたら全て取ってフリスクサイズに出来るのが強み。
0101login:Penguin2016/12/13(火) 14:06:51.99ID:XoSs4D12
くっっっさ
0102login:Penguin2016/12/13(火) 15:29:46.74ID:7ewspM0s
>>95
凄いなお前
ここまで馬鹿丸出しな奴も珍しい
0103login:Penguin2016/12/13(火) 16:59:48.87ID:kAKp+DgN
日本製はソニーの稲沢工場で作ってるのか
http://pc.watch.impress.co.jp/docs/news/1034864.html
0104login:Penguin2016/12/13(火) 17:38:43.32ID:U1P39Tg3
もうたさん生存確認
ttp://pc.watch.impress.co.jp/docs/topic/feature/686522.html
0105login:Penguin2016/12/13(火) 17:43:03.37ID:vUokO6UI
zeroはまさにarduinoの需要を食うような用途を想定してるんじゃない?
若干オーバースペック気味だけどラズパイの手軽さと両立させて
0106login:Penguin2016/12/13(火) 18:22:12.72ID:DqNra7h2
ラズパイってCPU温度が結構高いよね。
皆はどれくらいで使ってる?
どこまで上がるとトラブルが出る?
0107login:Penguin2016/12/13(火) 18:51:12.14ID:NbQjY2cn
>>106
こんな感じ。
http://i.imgur.com/4foaFy4.png
ヒートシンクは貼ってある
http://i.imgur.com/tHMoN9k.jpg
0108login:Penguin2016/12/13(火) 18:52:05.96ID:Z/zbGa3h
>>105
贅肉が多すぎる

>>106
80度超えくらいで反応が遅くなったことがある
かばんから出して繋いでコマンド打って温度見れたときには70度くらいに下がってた
もわっとするくらいあったかく感じる
0109login:Penguin2016/12/13(火) 18:56:51.56ID:HGV+7wSh
pi3 rasbianは負荷かけてもサーマルスロットリングで70度頭打ちだろ
0110login:Penguin2016/12/13(火) 19:14:48.06ID:8OXRurAB
1台2台ならarduinoでも運用できるけど10台くらいまとめて運用してsyslog転送とか言い出すとzeroが欲しくなるはず。
0111login:Penguin2016/12/13(火) 20:14:47.21ID:glx+kwFU
zeroで画像処理できるなら欲しいけど、RasPi2でもアッツアツになるから難しそう
フレーム数減らしたらいけるかな
0112login:Penguin2016/12/13(火) 20:58:18.85ID:7NUZzk5E
マイボードの熱々の原因はwifiなんだよなー
0113login:Penguin2016/12/13(火) 21:45:31.74ID:/UNTRo+m
>>110
Linuxシステムが複雑で不安定で予期しない挙動が多いからログ転送なんてものが必要なの
そもそも決まりきった動作を延々続けるだけのArduinoにそんなもんは要らん
あくまでArduinoと比べての話であってLinuxをディスってるわけじゃないぞ
0114login:Penguin2016/12/13(火) 21:52:02.66ID:bH7REsjn
>>113
>Linuxシステムが複雑で不安定で予期しない挙動が多い

お前が馬鹿なだけだろ
01151132016/12/13(火) 21:59:15.59ID:/UNTRo+m
>>114
あんたみたいに言葉尻で脊髄反射する奴が絶対にいると思って3行目でわざわざフォローしたのになあ
不確定要素が少ないというのがどれだけ安心かは自分でプログラム書いてみりゃわかるよ
0116login:Penguin2016/12/13(火) 22:31:37.21ID:lH5s6bBT
>>105
起動に数十秒とかねーわ
0117login:Penguin2016/12/13(火) 22:44:13.51ID:LFyPPfsJ
Zeroはせめて無線通信モジュールがあればな
WebAPI叩いたりするのはArduinoだと辛いものがある
基本的に、Arduinoで無理なくできることならArduinoでやったほうが圧倒的に手軽で確実よ
0118login:Penguin2016/12/13(火) 23:11:01.40ID:GaYiB7fu
一行目と三行目で華麗に矛盾させて自分を騙すとは流石だな…
0119login:Penguin2016/12/13(火) 23:26:32.41ID:LFyPPfsJ
>>118
一行目はLinuxの持つ柔軟性の裏返しだからね
0120login:Penguin2016/12/13(火) 23:54:03.75ID:8OXRurAB
orange pi PC2の公式ubuntuイメージが1.0.0になってた。
0121login:Penguin2016/12/14(水) 00:16:48.13ID:x7cqDHjy
zeroはクラスタ接続してテストしてみたい
0122login:Penguin2016/12/14(水) 01:33:30.38ID:3hLntOfr
Arduinoも使っている奴もいるのか
使っているならArduinoでどんなことをしているんだ?
0123login:Penguin2016/12/14(水) 01:42:26.60ID:KchgJQGB
>>115
無知の馬鹿だから動きが理解できないだけだろ。
馬鹿はこれだから。
0124login:Penguin2016/12/14(水) 07:33:47.93ID:bBvW1bFh
>>122
お前のレベルじゃ説明されても判らんだろ
0125login:Penguin2016/12/14(水) 07:36:14.58ID:cq1PeBMs
無知の馬鹿じゃない>>123はカーネルや各プロセスの内部処理を完全に理解してるの?
簡単に説明すると、Raspbianのような複雑なシステムではある時点でシステムが
どういう状態になっているかを予測するのは極めて難しいんだよ。
>>123の書いたプログラムが無限ループで単純な同じ処理を繰り返すだけだったとしても、
50回目の処理と100回目の処理の時点とではシステム全体の状態は大きく違っている。
裏ではプログラマが気にしていないところで膨大な処理が走っていて、
それが原因となってシステムに異常をきたすことがある。
0126login:Penguin2016/12/14(水) 07:51:28.58ID:mRD8a3xk
まあまあ、煽るだけで何も出来ないやつからの言葉なんか気にするな。
0127login:Penguin2016/12/14(水) 08:48:10.31ID:xK79K7Qj
pi3でアクリルのケースでヒートシンク付けてた時はアイドル40度だったのが、このアルミのケースに変えたら35度になった。
https://www.amazon.co.jp/gp/product/B01H74HIOM
怪しい日本語とかアクセスランプ見えないとか色々残念な点はあるけど、この値段ならアリかな。
0128login:Penguin2016/12/14(水) 08:57:10.78ID:njlqqbxq
この自己弁護に必死なやつ、隔離スレ逝けばいいのに
0129login:Penguin2016/12/14(水) 09:46:49.27ID:KchgJQGB
>>125
お前みたいな馬鹿にはわからんだけだろうが。
お前みたいな馬鹿はわからない物を何でもかんでもてんこ盛りにインストールして動かしてるからわけがわからんようになってるだけだろ。
0130login:Penguin2016/12/14(水) 09:54:25.58ID:Zu+3YOh+
>>125
CPUがどう動作するかだろそこは。
そもそもOSがカーネルモードとユーザモードで管理してるって話をしたいの?
0131login:Penguin2016/12/14(水) 10:32:31.16ID:lwFIESg8
>>127
ケースに応力が加わると直接チップ表面に加わりそうなのがな……
0132login:Penguin2016/12/14(水) 10:36:06.48ID:S+6WpAdK
>>85
berrybootで簡単にできる
0133login:Penguin2016/12/14(水) 10:36:27.25ID:STBoAlNf
>>128
君が行けば解決
0134login:Penguin2016/12/14(水) 10:40:46.97ID:S+6WpAdK
つーかなんで組み込み向けのスリムなOS出さないんだ
raspbianはデスクトップ用でデカすぎる
buildrootで構築すればいいんだろうけど面倒だしハードル高い人も多いだろ
0135login:Penguin2016/12/14(水) 10:42:14.09ID:eJ7+38bg
BareMetalで遊ぶ Raspberry Pi
http://tatsu-zine.com/books/raspi-bm
0136login:Penguin2016/12/14(水) 11:42:39.00ID:uKOJr0Lh
組み込み向けのスリムなOSって何のことだ 
レイテンシ抑えたいならxenomaiとか入れたらいいんじゃね。

機能を絞るということなら流通してる/させるのは最大公約数みたいな構成にせざるを得ないんだから、自分で作るしかないだろう。
0137login:Penguin2016/12/14(水) 11:55:14.56ID:qX3us+SZ
>>134
作りたきゃ作ってもええんやで
0138login:Penguin2016/12/14(水) 11:58:32.64ID:Pyi5qJqF
つかここ、素人ばっかのスレなの?
0139login:Penguin2016/12/14(水) 12:28:44.24ID:bBvW1bFh
別に素人なのは恥でも無いし悪くない
知らない癖にシッタカするアホが悪い
無知の痴
0140login:Penguin2016/12/14(水) 13:11:15.08ID:1qp0J05n
アルミのケースにpi3入れても無線通信は機能するの?
0141login:Penguin2016/12/14(水) 13:19:34.93ID:Pyi5qJqF
友達へのクリスマスプレゼント用(zero)...
Raspbian上にKODIとRETOROPIEをインスコ中

ミンティアのケースは何色がオススメ?
0142login:Penguin2016/12/14(水) 13:35:15.02ID:s8BqignM
>>138
そうですよ

>>141
群青色
0143login:Penguin2016/12/14(水) 13:48:56.49ID:Pyi5qJqF
どれよ?
http://www.mintia.jp/product/?=anm
0144login:Penguin2016/12/14(水) 13:49:40.68ID:fpRQvHlS
増量フリスクもいいよ
0145login:Penguin2016/12/14(水) 14:05:14.58ID:Pyi5qJqF
リンク貼ってるサイズの方がぴったりやん
0146login:Penguin2016/12/14(水) 15:48:25.74ID:Pyi5qJqF
https://github.com/retropie/retropie-setup/wiki/manual-installation

sudo apt-get update
sudo apt-get install -y git dialog
git clone git://github.com/petrockblog/RetroPie-Setup.git
cd RetroPie-Setup
chmod +x retropie_setup.sh
sudo ./retropie_setup.sh

Basic install

RaspbianにRetropieマニュアルインスコしてんだが、2時間が経とうとしている。
これ、大体どれぐらいの時間かかるか知ってる人います?
0147login:Penguin2016/12/14(水) 17:56:45.84ID:Pyi5qJqF
4時間経過
0148login:Penguin2016/12/14(水) 18:03:25.26ID:3ZMrfw6y
普通はそうじゃなくてあ
0149login:Penguin2016/12/14(水) 18:36:54.53ID:Pyi5qJqF
どうやるんだってばよ
0150login:Penguin2016/12/14(水) 18:53:17.86ID:S+6WpAdK
いやマニュアルインストールする理由があってやってるんだよな?
普通はイメージ落としてSDに書くだけだが
0151login:Penguin2016/12/14(水) 19:20:47.12ID:xNNy5aT1
>>140
密封してるわけじゃないから電波入ると思うけど、通信強度弱くなるのかな
ケースにアンテナが要るな
0152login:Penguin2016/12/14(水) 19:41:05.47ID:eur1cpH0
>>146
マニュアルインスコでよくハマるのは、入力待ち気付かずに数時間…ってのがあるね。
0153login:Penguin2016/12/14(水) 19:47:41.98ID:Pyi5qJqF
イメージからSDかくとRETROPIEだけになるから、必要なエミュのみをraspbianにのせれば、KODIもraspbianにのってるから
1SDで実質TRIPLEBOOTになるかなーっと

SDの差し替えがめんどいだろ?
1枚に3コ入れた方が楽
0154login:Penguin2016/12/14(水) 20:04:59.83ID:S+6WpAdK
>>153
だからberryboot使えって
0155login:Penguin2016/12/14(水) 20:07:11.21ID:uKOJr0Lh
トリプルブートってのは
0156login:Penguin2016/12/14(水) 20:10:45.41ID:Pyi5qJqF
>>154
ググってみる
0157login:Penguin2016/12/14(水) 20:19:46.28ID:Pyi5qJqF
ブートローダーか。
できたら、Raspbian上にKODIとRETOROPIE入れたいんだが。。。
マニュアルインスコしてると、COREのemulationstationだけcould not insukoって出て先に進めない。。。

チクショウ チクショウorz
0158login:Penguin2016/12/14(水) 21:29:15.23ID:zHeUo9Qk
>>140
超近場通信ならなんとかなるかもしれないが、
少し遠いところと通信となると外付けWLANを買うことになるだろな
0159login:Penguin2016/12/14(水) 21:38:18.48ID:zHeUo9Qk
>>134
組み込み用なら自分で作れよって感じだろ(主目的学習・教育のpiには良い課題)
できないなら、幼児向けのPi財団配布や誰か配布のを使ってねだろうな
0160login:Penguin2016/12/14(水) 21:44:05.25ID:EOenOlnc
ていうかtoppersの私家版実装があるから、RTOS使いたい人はそれ使えばいいんじゃないの?
0161login:Penguin2016/12/14(水) 21:50:28.26ID:zHeUo9Qk
>>160
それだと、Linuxのソフトが使えないんじゃないのか?
欲しいのはルーターやNASに使っている組み込み用Linuxだろ
0162login:Penguin2016/12/14(水) 22:11:17.31ID:EOenOlnc
スリムなLinuxの話なら ArchLinux で良い気もする
0163login:Penguin2016/12/14(水) 22:47:34.52ID:e86WWC81
ということで、zeroを使った面白いソリューションアイデアをクレクレ

せっかく買ってもLinuxOSをインスコして
エルチカ(LEDチカチカ)させて、押入れ行きのオモチャにはもううんざりだ┐(´д`)┌
0164login:Penguin2016/12/14(水) 22:52:59.25ID:3ZMrfw6y
どうおもしろいのが好きなのか教えてくれないと何とも。
俺は今まで聞いたやつだと20枚買って無線LAN刺して50メートル毎に並べてアドホック通信して1km先まで繋げるってのが意味はないけど夢があると思った。
0165login:Penguin2016/12/14(水) 23:29:12.91ID:XWztCUez
>>164
教えてくれてありがとう

できれば「勉強・学習用」以外の用途なら面白いかな。と
raspberrypiは元々教育用らしいから
それ以外の可能性を提示してくれるアイデアなら面白いんじゃない?

とりあえず、Twitterにセンサー情報を吐き出すとかいうのは飽きたw
0166login:Penguin2016/12/14(水) 23:32:28.24ID:Pyi5qJqF
ケース無しでアナルにねじ込むとかどう?
0167login:Penguin2016/12/14(水) 23:38:52.30ID:eXbNvmGW
>Twitterにセンサー情報を吐き出す
そんなのESP8266で十分だな、数百円
0168login:Penguin2016/12/14(水) 23:46:54.32ID:LgQxGHCI
前に動画で見たけど、カラーセンサで吸い出した色をランプで光らせるというのは面白いなと思った
スペック余るから何か他の機能も付け加えてみたりね
0169login:Penguin2016/12/14(水) 23:50:32.50ID:+AWx0OOA
>>167
esp8266から直接はつぶやけないでしょ(SSL通信はなんとかできそうだけどoauthとか絡むtwitter apiは荷が重そう)
ThingSpeak介すとかしないと
0170login:Penguin2016/12/15(木) 00:09:27.51ID:LmyWo+j0
>>165
キミにはトラ技お勧め
01711462016/12/15(木) 00:09:35.94ID:DNdKuR61
質問なんだが、もしかして
このマニュアルインスコってソースからビルドしてるの??
0172login:Penguin2016/12/15(木) 00:12:28.56ID:BPHdg0af
誰かゼロでMZ80作ってくれないかな
0173login:Penguin2016/12/15(木) 01:09:56.03ID:HkafZ/an
RasPi3は20年前なら驚異的なUNIXマシンだったと思う
SparcStationとかの時代なら

今だと猫も避けるよね

あのなりで、14Wぐらい食うんでしょう
詐欺に近い
0174login:Penguin2016/12/15(木) 06:24:41.40ID:JTLLHbTG
>>164
俺はスマートミラー作ろうとしてる
http://jisakutech.com/archives/2016/01/10586

タブレットでやりゃー早いんだけど、バッテリーのあるものを
年単位で常時通電させるの怖いからraspberry piで

あと、同時にプログラムチャイム(指定した時間になったらチャイムがなって「薬の時間です」とか喋らせる)
もさせる予定。
プログラムチャイムは2個作るが、そのうち一つはスマートミラー機能はいらないから、そっちはarduinoで作る予定。
0175login:Penguin2016/12/15(木) 06:29:21.27ID:ry5kPtok
エゲレスから財団の人が訪日してるそうですな

また後日、〜ユーザー会の代表がどこぞのオープンソースの会合で
「俺のダチ公」みたいな親密さをアピールしながら喋るんだろうな
ダチ公と思ってるのは自分だけで
あっちは「何でこいつこんな馴れ馴れしいんだよっ(#゚Д゚)」と思ってるかもしれないのに
0176login:Penguin2016/12/15(木) 08:29:11.86ID:GecG0dIF
>>163
なんかジサクテックの仕込みらしい質問だな。
赤外線リモコンやるのにLEDから買わずに中華の安いユニバーサルリモコン買ってポン付けするってのは見た目にはおもしろそう。
単純なオンオフ制御の電熱器と温度センサーを繋いで低温調理とかもな。
クリスマスに65度で1日煮込んだコンフィとか食えたら最高。
温湿度センサーはBME280でやってみたいんだけどちょっと高いよ。
DHT11は精度がいまいちらしいしaliexpressかaitendoで何かコスパの良いセンサー売ってないかな?
0177login:Penguin2016/12/15(木) 08:45:25.14ID:p+6SiEdE
>>173
嫌なら使わなきゃいい
0178login:Penguin2016/12/15(木) 08:46:12.48ID:NICMoh5s
そんなもんArduinoで楽勝だな
あと気温センサーで水温は測れんぞ
0179login:Penguin2016/12/15(木) 10:25:42.40ID:+pOBOqtl
I2Cの温度センサーとフォトカプラ付いたAC向けリレーが秋月にあるからそれで頑張ってみたら?
0180login:Penguin2016/12/15(木) 10:55:43.66ID:jnPLuu3N
>>175
mohtaかw
0181デムパゆんゆんネトウヨ愛国天使@12月の灯り  【関電 80.0 %】 2016/12/15(木) 11:35:34.85ID:po8PyfCX
>>175
俺達の安倍ちゃんをバカにするのか
0182login:Penguin2016/12/15(木) 11:51:31.13ID:ry5kPtok
aliexpressは"Alibaba"の名前がどうにも不審に思えてまだ利用したことないや
■ このスレッドは過去ログ倉庫に格納されています