トップページ⇒linux
1001コメント272KB

【Raspberry Pi】ラズベリー・パイ part5 【ARM】

■ このスレッドは過去ログ倉庫に格納されています
0001login:Penguin2013/10/03(木) 12:02:40.49ID:QkvMgG+d
Raspberry Piはあなたのテレビやキーボードを接続できるクレジットカードサイズのコンピュータです。
あなたのデスクトップPCができるようなこと、表計算やワープロ、ゲームなどいろいろな用途に使えます。
我々は世界中の子供たちのプログラミング学習に使われることを望んでいます。

それ以上の使い方もできますが、いろいろと割り切りが必要な部分もでてきます。
カメラモジュールの出荷も始まっていますよ。安定した5V電源の確保が安定動作の第一歩かも。

公式サイト: http://www.raspberrypi.org/
wiki: http://elinux.org/JP:R-Pi_Hub

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

前スレ:【Raspberry Pi】ラズベリー・パイ part4 【ARM】
http://engawa.2ch.net/test/read.cgi/linux/1370084433/1-4
0153login:Penguin2013/10/14(月) 12:09:52.91ID:fSO3SnRe
>>152
そりゃあね。
空気の流れるとこに置くと冷えるよ
0154login:Penguin2013/10/14(月) 17:09:14.45ID:mcIZ2yHc
ヒートシンクに小さな扇風機をつけたらどうだろう
0155login:Penguin2013/10/14(月) 19:42:19.96ID:s6U1Vu6i
ペルチェ素子
0156login:Penguin2013/10/14(月) 21:06:38.22ID:oqs1PoPT
いっそ扇風機の羽にラズパイを括りつけて回してしまえば、、、、
0157login:Penguin2013/10/14(月) 21:23:07.31ID:RQUxv4OT
モバブと無線LANなら電池切れるまでなら大丈夫ですね
バランスのために最低でも2セット稼働させてください。
相応のダミーウェイトがあるなら1セットでもokですが、空力的なバランスも考慮してください
0158login:Penguin2013/10/14(月) 22:04:18.49ID:9Hbriput
今日の読売新聞にラズパイがスクラッチと一緒に載ってた
そして記事読んで政府が義務教育の一部でプログラミング等のIT教育を進めてることを初めて知った
0159login:Penguin2013/10/14(月) 22:08:30.82ID:mujRrRGO
安いけど、ブルガリアのOLIMEXの基板と比べた場合
どうよ? 
0160login:Penguin2013/10/14(月) 22:14:32.66ID:RQUxv4OT
基板もそうだがSDカードスロットに限らず素人設計でなんだかなぁって部分が結構ある。
割り切って使うべきものだ。まともに作ろうとしたらそのサイズでは難しい。
あそこまでインチキな設計ができるのってもはや才能だと思う
0161login:Penguin2013/10/15(火) 00:51:30.49ID:bMIsoSQ6
ラズパイでfirmata使ってarduinoに繋げたセンサーの値を取得してるんだが
どうしても$arduino_firmataコマンド打ったあとに数値出てそのままシェルが使えなくなるんだわ
linuxの経験が少ない俺に誰か対処法教えてくれ
0162login:Penguin2013/10/15(火) 07:15:21.86ID:04/bx9VQ
>>161
firmata & ps -axでプロセス状態表示されない?
0163login:Penguin2013/10/15(火) 07:36:48.04ID:04/bx9VQ
>>160
今見ているが一部冗長やトラッキングに素人な所はあるがそれほど問題無いと思うが?
等長トラックもやってるし、、、
BGAやICの直近にVIA作ってるとこ? 鋭角コネクト?
まっ素人かもしれんが、多層だしEMC含め取り立てて問題は無いとオモ。 これよりまともな引き回しはできるけど、、、
0164login:Penguin2013/10/15(火) 07:57:17.54ID:AjIPRlav
ソフトやさんばかりかと思ったら回路やさんも結構いるのかな?
0165login:Penguin2013/10/15(火) 08:00:29.06ID:04/bx9VQ
>>164
両刀使い。 基本は半導体物性上がりのアナログ屋。 オブジェクト指向&アジャイル研究会もやってます。
0166login:Penguin2013/10/15(火) 08:25:24.54ID:yYPZFwer
>>164
小さな会社だと両方できる人は珍しくない。
大きな会社で回路設計メインでもテスト用のプログラム書いたりできる人もいるし。
0167login:Penguin2013/10/15(火) 09:13:53.81ID:04/bx9VQ
う〜む。 一回大企業でひな形を経験しないと無理なんじゃないかなぁ、、、 技術は当然として、開発手順、、、
スキーと同じで、我流では実力は伸びない。 今、その大企業が社員を教育できなくなっているのが問題、、、
0168login:Penguin2013/10/15(火) 17:50:57.76ID:RTzG4+sH
ハードの性能を引き出すソフトが要るわけですな。

でもラズベリー・パイに演算性能を求めるのは酷なので、
コンパイルやエンコードはさせないし、
センサー監視&収集やWebサーバ程度に留めておくよ。
0169login:Penguin2013/10/15(火) 19:39:28.95ID:Ib2Kwp6E
SDがすぐ壊れてしまうのにWebサーバーって無理なくないですか(´・ω・`)
まあ某巨大掲示板のある鯖もすぐ氏んでしまいますから別にいいのかもしれませんが
0170login:Penguin2013/10/15(火) 19:46:44.30ID:CwHtteRm
>>168
HOSが必要か
0171login:Penguin2013/10/15(火) 19:49:13.93ID:+D1aeho4
おもちゃサーバーだよね。
バックアップ・リストアまでやるならHDDが居るだろうけど、
練習にはもってこいだよ。
0172login:Penguin2013/10/15(火) 19:57:15.21ID:YjehFUdz
うちは二年以上連続稼働できてるけどね。
0173login:Penguin2013/10/15(火) 20:07:06.22ID:Ib2Kwp6E
>>172すぐ氏んでしまう2chの某鯖にラズベリー採用を提案してくれ
0174login:Penguin2013/10/15(火) 20:08:43.56ID:YjehFUdz
Linuxだから10年程度は連続稼働できると思ってるけどね。
0175login:Penguin2013/10/15(火) 20:36:09.08ID:RkUvJMUR
残念hardwareに過剰の信頼性を期待するアフォvvvvv
0176login:Penguin2013/10/15(火) 22:06:27.62ID:YjehFUdz
Linuxに不可能はないけどね。
0177login:Penguin2013/10/15(火) 23:08:41.99ID:RTzG4+sH
「無理は嘘吐きの言葉なんです。」
0178login:Penguin2013/10/15(火) 23:24:37.26ID:P/BRd0p+
「可能はペテン師の言葉なんです。」
0179login:Penguin2013/10/16(水) 00:42:39.12ID:PoVr/H1a
SDが死ぬ?
オンメモリでブートして可能な限りアクセスしなきゃいいじゃない
2gbなんてもはや消耗品でしょ
0180login:Penguin2013/10/16(水) 01:24:37.86ID:v7eB+IrZ
あまり詳しい方では有りませんが、SDカードって激安品をのぞいて
何回くらい書換が行われるとSDがこわれるのでしょうか?
0181login:Penguin2013/10/16(水) 02:15:33.65ID:3H37weR+
>>180
激安品じゃないなら書いてあるだろ
0182login:Penguin2013/10/16(水) 03:02:31.91ID:v7eB+IrZ
>>181
当方は素人の様なレベルですが、Piが面白いと言う話題を見かけたので
自己学習しながら始めてみようかと思った次第です。
知らない事が多く、玄人の方には当たり前の事かも知れませんが
お聞きしました。 勉強してこいと有らば場違いという事で質疑は取り消させていただきます。
linuxの場合、初期状態では30秒に1度くらいはログを吐くという事を聞きました。
つまり24時間で2880回記録する事で10万回可能なsdとあらば全体書換なら34日で壊れてしまう事に成ります。
消去ブロックが小さい場合は(1ブロック512バイト程度)なら寿命はもっと長くなるのではないかと思いました。
RAM上でOS展開しない場合の事がよくわかりません。 良かったら教えてください。
0183login:Penguin2013/10/16(水) 03:03:58.11ID:KNQ9CeDU
昔リバースプロキシのキャッシュをsdでやったら三ヶ月で壊れたわ
用途による相性もあるし、hdより個体差が大きい印象
0184login:Penguin2013/10/16(水) 03:09:20.93ID:KNQ9CeDU
>>182
一般的にバーストモードと512の1ブロック書き込みじゃチップ内の書き込みロジック違うから、購入時のクラスタサイズで読み書きしたほうが良いよ
0185login:Penguin2013/10/16(水) 03:14:33.03ID:v7eB+IrZ
>>183,182
さっそく有難うございます。
私の知識では、一般にいわれるのは書換回数の話が多く、本当にデータ量にかかわらず
回数制限なのか?と思い詳しい方にご教授願った訳です。
SDの寿命の意味や使い方についてもやもやが一つ取れました。
有難うございます。
0186login:Penguin2013/10/16(水) 03:15:59.92ID:v7eB+IrZ
>>184
有難うございました。
0187login:Penguin2013/10/16(水) 19:15:36.24ID:4TsjgKGa
>>185
まず書き込み回数10万回は嘘。実際は多くても1万回がいいとこ。
そこでSDカードは内部でクラスタ毎の疲弊度を管理してて、
データを書く時に勝手に新鮮なクラスタへデータを振り分けてる。
仮に1万クラスタあるSDカードに1クラスタ分のデータを上書きし続けると、
カードのクラスタ数(1万)×クラスタ毎の寿命(1万回)=1億回も書ける。
逆にめいっぱい1万クラスタ分のデータを上書きし続ければ1万回で壊れる。
「書き換え可能回数10万回」は「普通の人が普通に使ってりゃ大体そんぐらい」ってだけ。

SDカードが32MBとかの時代の知識だから違ってたらゴメン。
0188login:Penguin2013/10/16(水) 21:36:33.62ID:vQiYo6fw
SDサイズで壊れない媒体って無いのか
HDDはでかいし電気食うし
0189login:Penguin2013/10/16(水) 21:54:13.32ID:YLmc+d+1
壊れない媒体なんて発明したら一生遊んで暮らせるだろうなあ
0190login:Penguin2013/10/16(水) 21:57:29.65ID:GGJp6N64
脳内メモリなら約80年ほど保存可能、メンテナンスは自己責任です
0191login:Penguin2013/10/16(水) 22:02:24.98ID:10qlbcBA
>>190
通常30分もしたら壊れるじゃん
0192login:Penguin2013/10/16(水) 22:10:35.55ID:QzAuEe4n
メモリー
ニワトリ以下って言う奴イッパイ居るぜ。
歩かなくても忘れてる。
0193login:Penguin2013/10/16(水) 22:11:54.68ID:c+7JEdHf
脳内とかめっちゃ揮発性やん
海馬にしまいこめたらいいけどさ…
0194login:Penguin2013/10/17(木) 07:07:03.11ID:qiO9kOV4
ビット化けしまくりだし (w
0195login:Penguin2013/10/17(木) 09:14:45.30ID:cmYsNtBb
読み出し検証だが、
MLCカードでは、イルミネーションの四六時中読み出しだと、半年でパーだな。
日中の再生は必要ないんだが、面倒なんでランニングさせてる。
SLCカードで2年ぐらい。
0196login:Penguin2013/10/17(木) 21:27:07.88ID:Ts6V3axy
半年も持つのか
0197login:Penguin2013/10/17(木) 21:43:27.43ID:rA3tD/A5
だったら時間帯で表示デバイスの電源落とせよ
GPIOから外部のリレー(従来型の接点リレーでもSSRでも)などを制御させるのなんかわけないだろ
それで稼働時間が減った分だけ寿命にも貢献するだろう
0198login:Penguin2013/10/18(金) 18:49:07.19ID:vN5DU7a+
Kickstarterのケース届いたがひどすぎる
ベースは反ってるし一ヶ所きちんとはまらない
KickstarterでReportできるから
写真付きで文句いってみるか(´・ω・`)
0199login:Penguin2013/10/18(金) 19:12:10.31ID:8LBmsn5m
また殿に騙されたのか、お前は
0200login:Penguin2013/10/18(金) 19:37:07.27ID:YF/Bvvmw
だからあれほど....ゲラゲラ
0201login:Penguin2013/10/18(金) 19:54:43.37ID:au70nH/a
つーかね、ラズパイってケースに凝るほどのものか?
0202login:Penguin2013/10/19(土) 04:15:36.12ID:oFVOrXyl
>>199
ワロタ。漏るスレの住人は、本当にどこにでもいるなぉ
0203login:Penguin2013/10/19(土) 16:23:40.42ID:zQkN08sP
2chには俺とまろゆきとおまえしか居ないんだ
を思い出した
0204login:Penguin2013/10/20(日) 01:10:06.37ID:GCX2g9jw
うちにもケース届いてた。キツキツだけどなんとかピッタリはまった。
海外ならこんなもんかなーってレベル
カメラ差し込むの忘れてて壊さないように分解するの大変だった orz
でもせっかくの小型ケースだしカメラ外して使うかも…

あと銅のヒートシンクを売りにしてた気がするのに、ごく普通のヒートシンクになってるのは残念だな
というか kickstarter的にアリなの?
0205login:Penguin2013/10/21(月) 20:12:23.79ID:FhWazZ/h
SDカードやUSBメモリで壊れるのはコネクタの接触不良だろ
あと変換コネクタなどのICが過熱して書き込み失敗=媒体全滅
みたいなこともよくある。延長やアダプターは途中に入れるな!
0206login:Penguin2013/10/21(月) 23:51:11.61ID:LUCNH3Zj
MLCやTLCの壊れやすさとか堅牢性向上のための話なんかはどっかに雲散霧消してしまったらしい
0207login:Penguin2013/10/22(火) 00:40:17.23ID:uaGbFf4y
>>206
まァ、「壊れる」の内容が違うからいいんじゃないか?
データ破壊と物理的利用不可状態ということで。
0208login:Penguin2013/10/22(火) 00:42:56.61ID:TVn4TSWt
hostapdでwifi serverと化したraspberry piに、zigbee繋げてみたら、wifi切断の嵐で挫けそうだorz

近距離かつsshで細かい制御のwifi
長距離かつdumpデーターのzigbee
この荷台構成は厳しいのか...
0209login:Penguin2013/10/22(火) 02:21:02.54ID:GU+ByPtf
>>208
何が厳しいって、同じ周波数使ってるのが厳しい
wifiを5GHz対応のにしてみるとか、zigbeeを本体から離すとか対策したらいいと思う
0210login:Penguin2013/10/22(火) 07:36:22.51ID:TVn4TSWt
>>209
情報サンクスです。

zigbeeをraspberry piのserialに入れて、telnet接続にしてみるかと。
で、zigbee一本でいこうかなと考え中です。
そのままが厳しければ、serial二台積んだatmega644p辺りを間にかますか何かしようかと。
先が長くなってきたぞw
0211login:Penguin2013/10/22(火) 14:33:50.25ID:FDf01suM
まーフツーに考えるとバンド変えるのが確実だ罠
wifiには指向性アンテナ使ってzig蜂の影響を抑えるとか方法は無いワケじゃないが、確実だって保証もないからねぇ
0212login:Penguin2013/10/22(火) 17:22:51.79ID:0ou8w+3t
Wifiと同じ周波数使うbluetoothはちゃんとWifiをよけてくれるんだけどね…
0213login:Penguin2013/10/23(水) 06:57:06.23ID:VcKS3/CP
2.4GHz混雑しすぎだよもん
0214login:Penguin2013/10/25(金) 20:50:09.06ID:UHSGxJrG
壊れやすいと聞いてやる気失せた。
宇宙に持って行けるようなのが出たら本気出す
0215login:Penguin2013/10/25(金) 21:17:53.85ID:e7sclE42
壊れると思って使うと壊れないもの。
壊れないと思って使うと壊れるもの。
0216login:Penguin2013/10/25(金) 21:31:27.28ID:oR/2Ip0q
壊れてもいいや〜と割り切って使ってると壊れないんだコレガ
0217login:Penguin2013/10/25(金) 21:44:35.07ID:QhXxOC9U
壊れると困るものは壊れる
0218login:Penguin2013/10/25(金) 23:43:54.89ID:/vtCdn9V
やっぱSD寿命考えればNAS用ホストにするのは危険?
0219login:Penguin2013/10/25(金) 23:49:26.76ID:NiE/kSNI
>>218
NASする時は外部HDDかSSD繋げるだろう
0220login:Penguin2013/10/26(土) 01:11:23.71ID:hPBmbqIh
4KセクタHDDとラズパイの組合せは動作不可??
0221login:Penguin2013/10/26(土) 01:38:41.47ID:Fm9+h7wm
>>215
嫁か?
0222login:Penguin2013/10/26(土) 02:02:44.89ID:bf+/v/Sx
嫁さんはエポキシでできているのか?
アクリルのケースに収納されているのか?
0223login:Penguin2013/10/26(土) 02:22:47.89ID:2B//8yQz
SPIに2個デバイスつないで同時に動かすとおかしいんですが
そういう問題ありますか
海外でスピンロックがどうのとかの話がみっかりましたが
0224login:Penguin2013/10/26(土) 03:08:26.07ID:bf+/v/Sx
接続概念図うp
あと実機の写真うp
0225login:Penguin2013/10/26(土) 08:01:38.15ID:2B//8yQz
概念てあーた…
SPI接続の石2個繋いでるだけですお…
片方ずつ動かすとOKなので接続自体はOKのはずだけど
同時に動かすとあぼーんという
0226login:Penguin2013/10/26(土) 09:16:22.97ID:NujbexTS
>>220
Linuxで動くならOKでしょ
0227login:Penguin2013/10/26(土) 10:32:38.39ID:YjFPaaak
>>222
くうきよめ
0228login:Penguin2013/10/26(土) 13:47:02.68ID:B6YtA1T/
>>225
gdgd言わずに回路図とか写真うpしる
0229login:Penguin2013/10/26(土) 19:20:22.61ID:fgiGZbTn
>>228
http://iup.2ch-library.com/i/i1044060-1382782772.jpg
0230login:Penguin2013/10/26(土) 20:33:12.93ID:uKuLe53P
下手くそ
0231login:Penguin2013/10/26(土) 20:52:14.23ID:jp8LF4t0
>>230

ツッコミが下手くそ
0232login:Penguin2013/10/26(土) 21:02:59.20ID:uKuLe53P
いや、普通に下手だと思っただけだが。ヘタウマでもない
0233login:Penguin2013/10/26(土) 21:07:08.90ID:NujbexTS
ここは美術スレじゃない
わかればそれでよし
マウスで書くと普通下手くそになるし
0234login:Penguin2013/10/26(土) 21:27:47.86ID:PP0yoeys
ちょっとはまってるのでどなたか教えてください。
raspberry pi cameraを接続してmotionを起動したのですが
webで状態を確認すると「unable to open video device」
となり表示ができません。

motion.confのvideodeviceが/dev/video0になっているのが
原因かなと思いましたが、raspberry pi cameraを接続した
場合のdevice名は何になるのでしょうか?

raspistillではスナップが撮れているので、認識自体は正常
にできているようです。

どなたかご教示ください。
0235login:Penguin2013/10/26(土) 21:34:14.70ID:qGPHNnq/
>>229
ヒョットして、同時に使うっていうのは、
この回路図の2つのCSを同時に有効にしているって意味か?
0236login:Penguin2013/10/26(土) 22:14:44.29ID:xpQaNXqC
>>235んなあふぉなことするわけねえ……
車載シリアル通信のコントローラ2個繋いでて、
ループバックモード(送信しないで内部で折り返すモード)でそれぞれ動かすと送受信出来てるけど
2個を繋いで、1→2に実際に送信すると動かない(片方だけ動いてる)
0237login:Penguin2013/10/26(土) 23:49:50.41ID:1rB8u1z9
>>229
なんかかわいいな

割り込み処理時のcs周り、どうしてます?

こんなときはオシロがあると便利よね
0238login:Penguin2013/10/26(土) 23:55:13.07ID:AgJ/KaGy
マルチ死ねよ
0239login:Penguin2013/10/26(土) 23:55:22.55ID:1rB8u1z9
>>236
1→2ってのがよくわからん
0240login:Penguin2013/10/27(日) 00:18:57.87ID:OHpxazUn
SPI-CANコントローラーの仕様が分からないがスレーブからの受信待にして待機しなくてもいいの?
同じSPIなので1に送信したら2の受信待機できなくない?
0241login:Penguin2013/10/27(日) 10:07:02.14ID:9+umOfnm
>>235
motionをRaspberry Piを以外の機種でUSBカメラを2台使ってるけど
/dev/  にそれらしきデバイスは出て来てる?
私の場合は
/dev/video0
/dev/video1
と、キャラクタデバイスとして認識してる
0242login:Penguin2013/10/27(日) 12:04:26.38ID:yK4Rrm3y
Raspbianってeth0のipconfigでIPが見えないと思ったらstaticで固定設定しなきゃならんのね。
設定したら、bluetoothもwifiもDUNが使えるようになった。 超快適。 今、10台が稼働中。

CAN? microchipか何か? ミスった事ないけどなぁ、、、
0243login:Penguin2013/10/27(日) 12:17:50.24ID:gnXQvBSv
>>242
10台すげーw
何に使ってるか気になる
0244login:Penguin2013/10/27(日) 12:20:51.45ID:qG1BFvwS
>>242 mcp2515 を2個繋いでmcpのドライバーソース別名複製して2個目の.nameを変えて
spi側ローカライズソースの接続デバイス定義構造体配列2個目に追加して割り込み信号登録追加して、
ループバックモードでcansend,candumpするとそれぞれちゃんと送受信出来てるので
ハード接続も、ドライバー登録も割り込み信号登録もちゃんとできてると思うんですが、
実際にcan0-can1間の送受信させると最初の1回目は送受信出来てるけど
その後どちらかしか動かない状態で、ifconfigで見ると動かない方は
送信受信パケット数=0になってるんですね…
linuxドライバー完全初心者なのでさっぱりわけわかんねえ\(^ω^)/
2個接続する方法とか適当にソース見て考えただけなのでそこ疑うべきなんでしょうけど動いてはいるので。
実際に1回は成功してるから2個間のドライバーIC接続の問題でもなかろうと。
0245login:Penguin2013/10/27(日) 12:43:41.75ID:yK4Rrm3y
>>243
ホームオートメーション 家庭菜園、照明オンオフ、DMX512プレイヤー、ArtNetノード、、etc
Node.jsとExpressでwebapp書いてる。

>>244
排他ロックかかっているような症状だね。 モック作らんとわからん。 回路書いて基板エッチングする暇が必要だが、
今BUSYなんで、、、
0246login:Penguin2013/10/27(日) 12:57:10.82ID:NEVRys7C
>>245
わざわざ返事ありがとう。
なんだかワクワクしそうな家ですね。
特に家庭菜園いいなぁ〜
0247login:Penguin2013/10/27(日) 13:00:59.04ID:yK4Rrm3y
RaspiでsparkfunのアドレッシングLED RGB Stripでクリスマスイルミネーションやるんだけど、
DMXのタイムラインデータを作れるアプリケーションって無いかな?
Qt5で途中まで作っているが、間に合いそうもない。 fixedcolor chaingrainblw etc
0248login:Penguin2013/10/27(日) 13:17:42.22ID:yK4Rrm3y
>>246
いえいえ趣味が高じて、とんでもないことに。
今は、プロジェクションアートとフルカラーLEDのコラボレーションに凝ってしまって、自分で言うのも何だが、困ったもんだ、、、

Raspiで暗い世相を吹き飛ばせたらいいね。
次の夢として、どっかの山の中腹に巨大なLEDマトリクス設置を夢見てる。ソーラーパネルも一緒に、、、
依頼があれば、ハートメッセージを点灯したいもんだ、、、
0249login:Penguin2013/10/27(日) 13:21:02.51ID:wn3VyHXh
出来るからと派手に電飾を動かすと昔のパチンコ屋の電飾になるから
スローテンポでゆっくりとね。
左右に光を流したり一斉点滅はご法度。
0250login:Penguin2013/10/27(日) 13:25:28.03ID:yK4Rrm3y
>>249
うん。 今のテーマは和の電飾。 無いんですよ これが 世界に、、、
0251login:Penguin2013/10/27(日) 14:55:44.70ID:uXAPvqmg
外に年中電飾置いてる家ってマジうざい
0252login:Penguin2013/10/27(日) 15:12:33.55ID:yK4Rrm3y
>>251
工作でやっている連中にはそういう趣味は無い。
大抵、太陽光でやられるし、日中通電なんかやっていようものなら、太陽に照らされて高温になり、LEDドライバーチップが壊れる。
■ このスレッドは過去ログ倉庫に格納されています