Myu: 2019

2019年12月26日木曜日

Newton量子論のすべて新訂版を読んで考えたこと

　Newton別冊を久しぶりに読んでみました。2019.7.5発行なので、まだ新しい本です。一般向けに、量子論についてわかりやすく書かれています。
・量子論の歴史
・コペンハーゲン解釈：電子の波は、マクロな物体と相互作用すると収縮をおこす。
なぜ、収縮するかは今も謎
・電子が複数の場所に同時に存在する。
・不気味な遠隔作用：遠く離れた２つの粒子の一方を観測すると、両方の状態が瞬時に決まる奇妙な現象。量子もつれ（量子エンタングルメント）
・多世界解釈：枝分かれしていく世界
・量子テレポーテーション：地球から月へ猫を転送する。量子もつれと電波の情報により、猫を構成する物質の情報を送信し、その情報を使って月側で猫を再生する。月にある原子も、地球上の原子も同じで、それらの再構成なので、まったく同じ猫といえそうです。理論上可能でも、量子状態の維持の困難さや情報量の膨大さがあるので現実には困難ですが。

　読み終わって、ふと疑問がわきました。量子テレポーテーションで、転送された場合、地球上の猫はこわれるそうですが、月に再構成された猫に、意識は引き継がれるのだろうか？ということです。
　たとえば、一晩寝ている間に、自分の体に量子テレポーテーションが適用されたら、次の朝起きたとき、いちおう、前日までの記憶は残っているので、自分は自分だという意識はあるのかもしれません。自分とは、まったく別の身体が、じつは、昨日まで存在していてその記憶を、今現在の身体が引き継いでいるということになるのでしょうか。
　そう考えてくると、命や意識という概念は、記憶を軸にして唯一ひとりの身体に連続して存在していると思うけれど、遠い未来には、じつはそうでないこともありえるということなのでしょうか。考えれば考えるほどわからなくなります。

2019年10月22日火曜日

クリップボード画像をアップロード（bottle)

クリップボードの画像をすぐアップロードできれば便利かと思い、javascriptとbottleの組み合わせで実装してみた。
https://qiita.com/volpe28v/items/dc100c75c2371bb82a3b
https://qiita.com/tatesuke/items/00de1c6be89bad2a6a72
の２つのサイトを参考にさせていただきました。

bottleでのformdataの取得方法に関する情報が少なく、試行錯誤が必要でした。
結局、formからの送信内容を調べてわかったことが、
ajaxにわたすformDataの"data"を、bottoleの中のdataと同じ文字に揃えるといいということでした。
formData.append("data" ,imageFile,"test.png");と
data = request.files.dataの部分です。

<html>
<head>
<script src="http://code.jquery.com/jquery.min.js"></script>
</head>
<body>
<div id='up' contenteditable="true" width="50px" height="50px">
paste image here
</div>
<img id="outputImage" border="1" width="50%">

<script>
var element =  document.querySelector("[contenteditable]");
element.addEventListener("paste", function(e){
    if (!e.clipboardData 
            || !e.clipboardData.types
            || (e.clipboardData.types.length != 1)
            || (e.clipboardData.types[0] != "Files")) {
            return true;
    }
    var imageFile = e.clipboardData.items[0].getAsFile();
    var fr = new FileReader();
    fr.onload = function(e) {
        var base64 = e.target.result;
        document.querySelector("#outputImage").src = base64;

        var formData = new FormData();
        formData.append("data" ,imageFile,"test.png");
        upload_file_with_ajax(formData);
    };
    fr.readAsDataURL(imageFile);
    this.innerHTML = "paste image here";
    
   

});


function upload_file_with_ajax(formData){
    $.ajax('/upload' , {
      type: 'POST',
      contentType: false,
      processData: false,
      
    　data: formData,
      error: function() {
        alert('error');},
      success: function(res) {
        alert('success!:'+res);}
    });
  }
  

</script>

@route('/upload', method='POST')
def do_upload():
    data = request.files.data
    if  data and data.file:
   # if data.file :
        raw = data.file.read() # This is dangerous for big files
        #raw='test'
        #filename = data.filename
        filename=data.filename
        with open(filename,'w') as open_file:
            open_file.write(raw)
        return "You uploaded %s (%d bytes)." % ( filename, len(raw))
    return "You missed a field."

追記：bottleのほうですが、herokuでは動作しているのですが、raspiでは、なぜか画像uploadでエラーがでるようでした。
with open(filename,'w') as open_file: の部分を
with open(filename,'wb') as open_file:　とするといいようでした。
バイナリで保存することを明示したほうがいいようです。

2019年10月16日水曜日

ELM コンパイル　エラーについて

Maybe you recently installed a command line tool or editor plugin that messes with them?
というエラーが出て、困っていましたが、
https://github.com/hercules-ci/elm2nix/issues/14
からの情報で、elm-staffフォルダを削除すると、うまくいようです。
再度、コンパイルすると、エラー表示は消えます。

2019年9月16日月曜日

ELM リストからインデックス指定で要素取り出し

ELMのリストから要素を取り出すということは、本来あまり使うべき機能でないのかもしれませんが、こちらを参考にしてみました。

getAt : Int -> List a -> Maybe a
getAt idx xs =
if idx < 0 then
Nothing

else
List.head <| List.drop idx xs

ELMでリクエスト発行

ELMで他サイトからデータを読み取るためにリクエストを動作させたいということで試してみた。サンプルアプリのサイトはうまくいくのに、自分で作成したサイトはうまくいかない。
　こちらをみると、どうやらCORSというものの問題らしい。いまどきは、Same　Origin　Policyということで、勝手に他のサイトへ飛ばないような制限ができているということは知っていたが、サーバーとクライアント間の安全なやりとり手順が必要ということのようです。
　bottleを使ったサーバなのでhttps://qiita.com/yagays/items/67d9780abef8c36eb625
を参考にさせていただき

from bottle import hook, response
@hook('after_request')
def enable_cors():
response.headers['Access-Control-Allow-Origin'] = '*'

を追加して解決した

2019年8月31日土曜日

cloud9をraspberry pi 2で動かしてみた

　cloud9も最近になって、AWSに移行し有料になった。それほど頻繁に使うわけでもないため、とりあえずraspiで使ってみることにした。

＜ラズパイの準備＞
・Raspbian Buster Liteを
https://www.raspberrypi.org/downloads/raspbian/
から入手し、https://www.sdcard.org/downloads/formatter/でSDカードをフォーマットします。一回で書き込みが成功すればいいのですが、失敗したときはこのフォーマッタが必要になります。
・イメージ書き込みはhttps://www.balena.io/etcher/がいいようです。
　久々に、書き込みをやってみるとうまくいかず、原因つかむまでだいぶ時間がかかってしまいました。どうやら、USBハブの不具合？だったようで、PC本体にUSBをつなぐとOkでした。

・次に、raspi-configで、キーボード配列等設定します。意外と大変だったのが、ipアドレスの固定でした。/etc/network/interfaces.d/のディレクトリの中に、設定ファイルを入れておくという仕様になったようです。
　しかし、それでも　なぜかdhcpが動作しているようなので
　　https://qiita.com/usakoyama/items/4e74261edc9cd7b40fe2
　　http://poohkids.com/raspberrypi/environment-ipfixation/
　などを参考にして解決しました。とくにdhcpcd.confの編集が必要だったというのは
　盲点でした。
・sshなども使えるようにして、以後はリモートですすめます。

＜cloud9のインストール＞
・下記のリンクにしたがって　インストールします
　https://github.com/c9/core
・ローカルからだと、これで使えるようになるらしいのですが、リモートから使うためには以下のリンクを参考にする必要がありました。ここも、だいぶ情報をさがすのに時間かかってしまっところです。
　https://qiita.com/fkmt-disk/items/8715e964e1e672b59454
　node server.js --port 8181 --listen 0.0.0.0 --auth user:pass
　の0.0.0.0を指定するというところがポイントのようです

これで、リモートでc9が利用できるようになります。

<Bottleを入れてみる＞
　最初、Railsを入れてみたが、Raspiにはきついようだったので、Bottleにしてみた。
https://create-fecundity.com/programming/heroku-bottle-deployment/
Bottleはpythonの軽量フレームワークということで、ちょっとしたWEBアプリで
あれば、これで十分なようです。
　raspiでは動いても、Herokuにアップするとうまくいかないこともあるようでした。
pythonのバージョンや
pip freeze > requirements.txt
で作成されるrequirements.txtの中のもので、バージョンを変えたり、削除したりする必要があるものがけっこうあるようです。
とりあえず、Herokuでも動作させることができるようになりました。

2019年8月5日月曜日

債権価格が下がれば金利は上がる　～国家破産はこわくないP72～　より

　橘玲さん著の国家破産はこわくない　を読んでいたところ、国債の金利が上がれば、国債の価格が下がるということを　わかりやすく説明してくれています。
　将来価値＝現在価値×（１＋金利）＾年数　①
　現在価値＝将来価値÷（１＋金利）＾年数　②
　通常は、金利１０％といえば　①式を使い　現在１０万円の価値でも、１年後の将来は１１万円になるということしか意識しません。
　ですが、将来１１万円になるものが、現在はいくらの価値かといえば、②の式を使い、現在価値１０万円と考えるところがミソです。

　毎年１万円ずつ配当があり、１０年後に元金の１０万円が払い戻されるシンプルな国債を考えます。この債権を買うとしたらいくら支払いますかという問題です。

　エクセルで、年率１０％と２０％の場合で計算してみました。
　現在価値は　年率１０％で１０万円ですが、年率２０％で58075円となってしまうことがわかります。

2019年8月4日日曜日

ビタミンDの大切さ

　ビタミンDが骨の健康に大切だとよく知られていますが、それだけでなく、いろいろな疾病（大腸癌、口腔癌、食道癌、膵臓癌および白血病のリスクが大幅に減少することが複数の試験で示唆）の予防に大切だということらしい。
https://www.cancerit.jp/10194.html
　こういう話を聞くと、室内での運動よりも、外でのウオーキング、ジョギングなどのほうがいいのかもしれない。過ぎたるは及ばざるがごとしで、紫外線による皮膚がんの影響も考える必要があるので、適度なという条件はあるようですが。

2019年6月16日日曜日

スクレイピング

スクレイピングはPythonがよくつかわれるようです。調べてみたところ、サイト上でさまざま情報が入手できるようです。
https://takahiromiura.github.io/web_scraping.html
上記のリンクを参照させていただきました。javascriptの扱いや認証、ダウンロードも含めて、必要な内容がコンパクトにまとめてあるようです。

2019年6月7日金曜日

ELM活用　アニメーション

Javascriptでちょっとしたアニメーションをと考えましたが、やはり、習いかけのELMのほうが簡単にできそうだったので、試してみました。
https://qiita.com/negiboudu/items/942d29f8c20811d8e26d
上記リンクを参考にさせていただきました。

根の生長をシミュレーションするELM　アプリです。
https://gh6141.github.io/gitdrill/src/root_seicho.html

module Main exposing (Model, Msg(..), init, main, update, view)

import Browser
import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (onClick)


main =
  Browser.sandbox { init = init, update = update, view = view }


-- MODEL

type alias Model = Int

init : Model
init =
  0


-- UPDATE

type Msg = Increment | Decrement

update : Msg -> Model -> Model
update msg model =
  case msg of
    Increment ->
      model + 1

    Decrement ->
      model - 1


-- VIEW

view : Model -> Html Msg
view model =
 let
 --nobikittara tomaru
     tlim = 10
     hsaki=5 + modBy 5 model 
   
     kaisu= model//5
     
    
     div_tr taka=   tr [ style "height" (String.fromInt (taka*7) ++ "px") ] [td [ style "border" "solid thin", style "width" (String.fromInt 30 ++ "px") ] [text "●"]]
       
  
 in
  div [] [
  div [style "font-size" "30pt"] [text "根の生長"]
  ,
   button [ style "font-size" "40pt" ,onClick Increment ] [ text "+" ]
  ,
  div [style "text-align" "center"]
    [ 
            [div_tr hsaki]
            |> List.append [div_tr hsaki]
            |> List.append ( div_tr tlim |> List.repeat (kaisu) )
            |> table [ style "border" "solid thin", style "border-collapse" "collapse" , align "center"]

 
    ]
  ]

2019年5月29日水曜日

ELMでドラッグ＆ドロップ

ELMでドラッグ＆ドロップを使ったアプリを作ってみた。
すっきりしたプログラムが作れる。Maybeを使えば　例外なども必要ない。
case ofでパターンマッチングも便利。覚えるコマンドも最小限で済む。
その分、うまく組み立てる必要があるが。けっこう楽しめる言語かもしれません。

module MultipleTargetsExample exposing (main)

import Browser
import Draggable
import Draggable.Events exposing (onClick, onDragBy, onDragStart)
import Html exposing (Html,button)
import Html.Attributes
import Math.Vector2 as Vector2 exposing (Vec2, getX, getY)
import Svg exposing (..)
import Svg.Attributes as Attr
import Svg.Events exposing (onMouseUp)
import Html.Events exposing (onClick)
import Svg.Keyed
import Svg.Lazy exposing (lazy)


main : Program () Model Msg
main =
    Browser.element
        { init = init
        , update = update
        , subscriptions = subscriptions
        , view = view
        }

type alias Atom =
    {
     gensoname: String
    , size : String
    , relposition : (Float,Float)
    }



type alias Box =
    { id : Id
    , position : Vec2
    , ok : Bool
    , atoms: List Atom
    , name : String
    }


type alias Id =
    String


makeBox : Id -> Vec2 -> List Atom -> String -> Box
makeBox id position atoms name =
    Box id position False atoms name


dragBoxBy : Vec2 -> Box -> Box
dragBoxBy delta box =
    { box | position = box.position |> Vector2.add delta }


toggleOk : Box -> Box
toggleOk box =
    { box | ok = True }

toggleOff : Box -> Box
toggleOff box =
    { box | ok = False }


type alias BoxGroup =
    { uid : Int
    , movingBox : Maybe Box
    , idleBoxes : List Box
    }


emptyGroup : BoxGroup
emptyGroup =
    BoxGroup 0 Nothing []


addBox :  (String,Vec2) -> BoxGroup  -> BoxGroup
addBox position ({ uid, idleBoxes } as group)  =
     { group
        | idleBoxes = makeBox (String.fromInt uid) (Tuple.second position)
          ( case uid of
            0 -> [{ gensoname = "O" , size = "50" , relposition=(0.0,0.0) },{ gensoname = "O" , size = "50" , relposition=(100.0,0.0) }]

            1 ->  [{ gensoname = "H" , size = "40" , relposition=(0.0,0.0) },{ gensoname = "H" , size = "40" , relposition=(80.0,0.0) } ]
            2 ->  [{ gensoname = "H" , size = "40" , relposition=(0.0,0.0) },{ gensoname = "H" , size = "40" , relposition=(80.0,0.0) } ]

            3 -> [{ gensoname = "H" , size = "40" , relposition=(0.0,40.0) },{ gensoname = "H" , size = "40" , relposition=(150.0,40.0) } ,{ gensoname = "O" , size = "50" , relposition=(75.0,0.0)}]
            4 -> [{ gensoname = "H" , size = "40" , relposition=(0.0,40.0) },{ gensoname = "H" , size = "40" , relposition=(150.0,40.0) } ,{ gensoname = "O" , size = "50" , relposition=(75.0,0.0)}]

            
            _ -> []
          )  (Tuple.first position)
         :: idleBoxes
        , uid = uid + 1 
     }


makeBoxGroup : List (String,Vec2) -> BoxGroup
makeBoxGroup positions =
    positions
        |> List.foldl addBox emptyGroup


allBoxes : BoxGroup -> List Box
allBoxes { movingBox, idleBoxes } =
    movingBox
        |> Maybe.map (\a -> a :: idleBoxes)
        |> Maybe.withDefault idleBoxes


startDragging : Id -> BoxGroup -> BoxGroup
startDragging id ({ idleBoxes, movingBox } as group) =
    let
        ( targetAsList, others ) =
            List.partition (.id >> (==) id) idleBoxes
    in
    { group
        | idleBoxes = others
        , movingBox = targetAsList |> List.head
    }


stopDragging : Id -> Wakul -> Wakul -> Wakul -> BoxGroup -> BoxGroup
stopDragging id wkl1 wkl2 wkl3 group =
   let
                  dfb:Box
                  dfb=Box "" (Vector2.vec2 0.0 0.0) False [] ""
            
                  mbx=group.movingBox
                  bx=Maybe.withDefault dfb mbx
                  -- ll= bx.name++":"++ (String.fromFloat (Vector2.getX bx.position) )++ " "++(String.fromFloat (Vector2.getY bx.position) )
                  xx=Vector2.getX bx.position
                  yy=Vector2.getY bx.position


   in
    { group
        | idleBoxes = allBoxes group |> toggleBoxOk id wkl1 wkl2 wkl3 |> toggleBoxOff id wkl1 wkl2 wkl3
        , movingBox = Nothing
    }


dragActiveBy : Vec2 -> BoxGroup -> BoxGroup
dragActiveBy delta group =
    { group | movingBox = group.movingBox |> Maybe.map (dragBoxBy delta) }


toggleBoxOk : Id -> Wakul -> Wakul -> Wakul -> List Box -> List Box
toggleBoxOk id wkl1 wkl2 wkl3 lbox =
    let
              
        possiblyToggleBox box =
          let
                          
                 
                  bx=box
                  -- ll= bx.name++":"++ (String.fromFloat (Vector2.getX bx.position) )++ " "++(String.fromFloat (Vector2.getY bx.position) )
                  xx=Vector2.getX bx.position
                  yy=Vector2.getY bx.position   
          in
          
            if bx.id == id then
             (
              if wkl1.xss<xx && xx<wkl1.xee && wkl1.yss<yy && yy<wkl1.yee && bx.name==wkl1.nm then
                toggleOk bx
              else if wkl2.xss<xx && xx<wkl2.xee && wkl2.yss<yy && yy<wkl2.yee && bx.name==wkl2.nm then
                toggleOk bx
              else if wkl3.xss<xx && xx<wkl3.xee && wkl3.yss<yy && yy<wkl3.yee && bx.name==wkl3.nm then
                toggleOk bx
              else
                bx
             )
            else
                bx
    in
     lbox |> List.map possiblyToggleBox 

toggleBoxOff : Id -> Wakul -> Wakul -> Wakul -> List Box -> List Box
toggleBoxOff id  wkl1 wkl2 wkl3 lbox =
    let
      
        possiblyToggleBox box =
          let
                  bx=box
                  -- ll= bx.name++":"++ (String.fromFloat (Vector2.getX bx.position) )++ " "++(String.fromFloat (Vector2.getY bx.position) )
                  xx=Vector2.getX bx.position
                  yy=Vector2.getY bx.position   
          in
            if box.id == id then
               (
              if not (wkl1.xss<xx && xx<wkl1.xee && wkl1.yss<yy && yy<wkl1.yee && bx.name==wkl1.nm) && 
                 not (wkl2.xss<xx && xx<wkl2.xee && wkl2.yss<yy && yy<wkl2.yee && bx.name==wkl2.nm) &&
                 not (wkl3.xss<xx && xx<wkl3.xee && wkl3.yss<yy && yy<wkl3.yee && bx.name==wkl3.nm) then
                  toggleOff bx
              else
                bx
             )
              
            else
                bx
    in
     lbox |> List.map possiblyToggleBox 


type alias Model =
    { boxGroup : BoxGroup
    , drag : Draggable.State Id
    , notify1 : String
    , notify2 : String
    , notify3 : String
    , siki : Bool
    }


type Msg
    = DragMsg (Draggable.Msg Id)
    | OnDragBy Vec2
    | StartDragging String
    | ToggleBoxOk String
    | StopDragging String
    | Sikihyoji 


boxPositions : List (String,Vec2)
boxPositions =
    let
        
        indexToPosition = ( \ii -> (
            case ii of
             0 -> "O2"
             1 -> "H2"
             2 -> "H2"
             3 -> "H2O"
             4 -> "H2O"
             _ -> ""
            
            , Vector2.vec2  ((toFloat ii)*250+60)  400))
           -- toFloat >> (*) 110 >> (+) 60 >> Vector2.vec2 80
    in
    List.range 0 4 |> List.map indexToPosition


init : flags -> ( Model, Cmd Msg )
init _ =
    ( { boxGroup = makeBoxGroup boxPositions
      , drag = Draggable.init
      , notify1=""
      , notify2=""
      , notify3=""
      , siki = False
      }
    , Cmd.none
    )


dragConfig : Draggable.Config Id Msg
dragConfig =
    Draggable.customConfig
        [ onDragBy (\( dx, dy ) -> Vector2.vec2 dx dy |> OnDragBy)
        , onDragStart StartDragging
        
        ]

notify : Wakul -> BoxGroup -> String
notify wkl boxGroup =
               let
                  dfb:Box
                  dfb=Box "" (Vector2.vec2 0.0 0.0) False [] ""
            
                  mbx=boxGroup.movingBox
                  bx=Maybe.withDefault dfb mbx
                  -- ll= bx.name++":"++ (String.fromFloat (Vector2.getX bx.position) )++ " "++(String.fromFloat (Vector2.getY bx.position) )
                  xx=Vector2.getX bx.position
                  yy=Vector2.getY bx.position
                  
               in
                  if wkl.xss<xx && xx<wkl.xee && wkl.yss<yy && yy<wkl.yee && bx.name==wkl.nm then
                
                    "Ok"
                  else
                   ""        

type alias Wakul =
  {
    xss : Float , xee : Float , yss : Float , yee : Float ,nm : String
  }

       

update : Msg -> Model -> ( Model, Cmd Msg )
update msg ({ boxGroup,siki} as model) = 
  let 
    wkl : Float -> Float -> Float -> Float  -> String -> Wakul 
    wkl x1 x2 y1 y2 st={xss=x1,xee=x2,yss=y1,yee=y2,nm=st}

    wkl1= wkl 41.0 257.0 54.0 338.0 "H2O"
    wkl2= wkl 480.0 677.0 52.0 359.0 "H2"
    wkl3= wkl 952.0 1110.0 52.0 349.0 "O2"
 
  in
    ( case msg of
        OnDragBy delta ->
            ( { model | boxGroup = boxGroup |> dragActiveBy delta }, Cmd.none )

        StartDragging id ->
            ( { model | boxGroup = boxGroup |> startDragging id }, Cmd.none )

        StopDragging id ->
            ( { model | 
                  notify1= boxGroup |> notify wkl1
                , notify2= boxGroup |> notify wkl2
                , notify3= boxGroup |> notify wkl3
                , boxGroup = boxGroup |> stopDragging id wkl1 wkl2 wkl3       
                
                }, Cmd.none )

        ToggleBoxOk id ->
            ( model , Cmd.none )

        DragMsg dragMsg ->
            Draggable.update dragConfig dragMsg model

        Sikihyoji ->
            ( {model |
                siki = (
                    case siki of
                      False -> True
                      True  -> False
                ) 

            },Cmd.none)    
      )
    

subscriptions : Model -> Sub Msg
subscriptions { drag } =
    Draggable.subscriptions DragMsg drag



-- VIEW


boxSize : Vec2
boxSize =
    Vector2.vec2 50 50


view : Model -> Html Msg
view { boxGroup,notify1,notify2,notify3,siki } =
    Html.div
        []
        [ Html.p
            [ Html.Attributes.style "padding-left" "8px" ]
            [ Html.text "Drag substance . " ,Html.button [ onClick Sikihyoji ] [ text "化学反応式" ]  , Html.p
            [ Html.Attributes.style "padding-left" "14px" , Html.Attributes.style "display" (
                case siki of
                 True -> ""
                 False -> "none"                
                )]
            [ Html.text "2H2O ->  2H2  + O2 " ]]
          
       
        , Svg.svg
            [ Attr.style "height: 100vh; width: 100vw; position: fixed;"
            ]
            [ background
            , boxesView boxGroup
            , waku boxGroup notify1 notify2 notify3
            ]
     
        ]

boxesView : BoxGroup -> Svg Msg
boxesView boxGroup =
    boxGroup
        |> allBoxes
        |> List.reverse
        |> List.map boxView
        |> Svg.node "g" []

circlecreate : Vec2 -> Atom -> Svg Msg
circlecreate position atom =
       Svg.g
       []
       [
        Svg.circle
        [
          Attr.r atom.size
        , num Attr.cx (getX position +(Tuple.first atom.relposition))
        , num Attr.cy (getY position +(Tuple.second atom.relposition))
        , Attr.fill (
            case atom.gensoname of
             "H" -> "blue"
             "O" -> "red"
             _ -> "white"
        )
        , Attr.stroke "black"
   
        ]
        [ ]
        ,
        Svg.text_ [
         num Attr.x (getX position +(Tuple.first atom.relposition)-18.0)
        , num Attr.y (getY position +(Tuple.second atom.relposition)+14.0)
         ,  Attr.stroke "black"
         , Attr.fontSize "36pt"
        ]
         [Svg.text atom.gensoname] 
       ]

boxView : Box -> Svg Msg
boxView { id, position, ok ,atoms} =
    
       Svg.g
       [     Attr.cursor "move"
        , Draggable.mouseTrigger id DragMsg
        , onMouseUp (StopDragging id)
        , ( case ok of
                True ->  Attr.strokeWidth "5"
                _ -> Attr.strokeWidth "1"
            
            )]
        ( 
            atoms |> List.map(\atom -> circlecreate position atom)            
        )



background : Svg msg
background =
    Svg.rect
        [ Attr.x "0"
        , Attr.y "0"
        , Attr.width "1300"
        , Attr.height "430"
        , Attr.fill "#eee"
        ]
        []

waku : BoxGroup -> String -> String -> String -> Svg msg
waku boxGroup notify1 notify2 notify3 =
   Svg.g []
    [
     moji "50" "50" "水"
     ,Svg.rect
       [ Attr.x "0"
       , Attr.y "0"
       , Attr.width "350"
       , Attr.height "400"
       , Attr.fill "none"
       , Attr.stroke "black"
       ]
       []
    ,moji "50" "350" notify1
    ,
     moji "380" "200" "→"
     
     ,
     moji "500" "50" "水素"
    ,Svg.rect
       [ Attr.x "450"
       , Attr.y "0"
       , Attr.width "350"
       , Attr.height "400"
       , Attr.fill "none"
       , Attr.stroke "black"
       ]
       []
    
    , moji "500" "350" notify2
    , moji "820" "200" "+"
    ,
    moji "950" "50" "酸素"
    ,Svg.rect
       [ Attr.x "900"
       , Attr.y "0"
       , Attr.width "350"
       , Attr.height "400"
       , Attr.fill "none"
       , Attr.stroke "black"
       ]
       []  
     ,moji "950" "350" notify3

    ]
    
moji : String -> String -> String -> Svg msg
moji xs ys txt =
     Svg.text_
     [
         Attr.x xs
        , Attr.y ys
        ,  Attr.fill
         (
          case txt of
            "Ok" -> "red"
            _ -> "black"
         )

        , Attr.fontSize "36pt"
     ]
     [Svg.text txt] 
    



num : (String -> Svg.Attribute msg) -> Float -> Svg.Attribute msg
num attr value =
    attr (String.fromFloat value)

※ただ、残念ながら、複数のターゲットをマウス操作はできるけれど、タブレット等でタッチ操作がうまくいかないようです。１つのターゲットならできるようなのだけど。
　今回は、タブレットで使いたかったので、、、ELM使用はいったん保留です。

2019年5月1日水曜日

ELMで文字入りの円をドラッグ＆ドロップするには

文字入りの円をドラッグ＆ドロップするアプリをELMで作れないか考えてみた。
ググると、Svgを使って四角をドラッグ＆ドロップする例があった。
https://package.elm-lang.org/packages/zaboco/elm-draggable/latest/
Svgライブラリの説明もあり
https://package.elm-lang.org/packages/elm/svg/latest/Svg
SVG描画で円の中心にテキストを表示する方法も参考にさせてもらいました。
ELMはエラーメッセージが詳しいので、それも助けになります。

いろいろ試行錯誤しながら　結局、ライブラリの説明の中の
g,circle,text_はList (Attribute msg) -> List (Svg msg) -> Svg msg
textがString -> Svg msg
という型の説明をもとに、組み立てるといいようでした。

一つ目のリンクのMultipleTargetsExample.elmのSvg.rectの部分を、以下のようにするとうまくいきました。

Svg.rect
[ num Attr.width <| getX boxSize
, num Attr.height <| getY boxSize
, num Attr.x (getX position)
, num Attr.y (getY position)
, Attr.fill color
, Attr.stroke "black"
, Attr.cursor "move"
, Draggable.mouseTrigger id DragMsg
, onMouseUp StopDragging
]
[]
を、以下のように変更

Svg.g
[ Attr.cursor "move"
, Draggable.mouseTrigger id DragMsg
, onMouseUp StopDragging]
[
Svg.circle
[
num Attr.r <| getY boxSize
, num Attr.cx (getX position)
, num Attr.cy (getY position)
, Attr.fill color
, Attr.stroke "black"

]
[ ]
,
Svg.text_ [
num Attr.x (getX position)
, num Attr.y (getY position)
, Attr.stroke "black"
]
[Svg.text "abcde"]

]

ELMについて

ELMでフロントエンド開発はどうかと思い、試してみている。

〇まずは、設定
npmをインストールしたら

コマンドプロンプトで

npm install -g elm

npm install -g elm-format

・VS　Codeのインストール＞拡張機能ビュー＞検索用のテキストボックスに elm ＞elm のインストール

・日本語にするには［EXTENSIONS］ビューの一番上にある検索ボックスで「japanese」などを検索

・ファイル - 基本設定 - 設定＞右上の {} をクリック＞

ユーザー設定

{

"elm.compiler": "C:\\Users\\win_user\\AppData\\Roaming\\npm\\elm.cmd",

"elm.formatCommand": "C:\\Users\\win_user\\AppData\\Roaming\\npm\\elm-format.cmd",

}

〇実際に使ってみる

・ Elm のプロジェクト用のディレクトリを作成、そこでelm init を実行

　elm.json を作成するかどうか確認されるので Y を入力

・エクスプローラービューの src ディレクトリ上でElm のソースファイルを作成

・ Alt + Shift + F を入力すると module 文等が追加されます

・Ctrl + Shift + P を入力してコマンドパレット表示＞elm reactor start

　これでWeb サーバが起動し http://localhost:8000/src/elmファイル名

　でアクセスできる

・不要であれば Elm Reactor を停止させる。コマンドパレットで elm reactor stop

以上はhttps://qiita.com/ossan_pg/items/5c3ce00b74036139507eを参考にさせていただきました。とても詳しく説明されており助かりました。

〇elm makeについて

elm makeを使ってElmプロジェクトをビルドし、HTMLファイルなど作成できます。

elm make Main.elm --output=main.html

なお、足りないパッケージがあるとメッセージで要求されるので

elm install elm/http

elm install elm/json

のようにして、追加していく必要があります。

https://guide.elm-lang.jp/install.htmlを参考にさせていただきました。

2019年4月25日木曜日

VisualStudio2019が、プロキシ認証があるため　うまくライセンス認証できない。Eclipseのネット接続もうまくいかない

VisualStudio2019を使ってみようとしたが、プロキシ認証があるためかうまくいかない。

そこで
https://itblogdsi.blog.fc2.com/blog-entry-350.html
を参考に
devenv.exe.configの設定ファイルの一部を書き換えます。
<system.net>

<defaultProxy enabled="true" useDefaultCredentials="true">
<proxy usesystemdefault="True"
bypassonlocal="True"
proxyaddress="http://127.0.0.1:8888"/>
</defaultProxy>
</system.net>

https://github.com/ipponshimeji/MAPE
に便利なツールを公開された方がおりました。PCのローカルにプロキシを置き、そこを経由することで解決できました。

https://github.com/ipponshimeji/MAPE/blob/master/Documentation/ja/Usage.md
がマニュアルです。
mape.exe /ActualProxy:"{\"Host\": \"proxy.example.com\", \"Port\": 8080}"
を実行すると、Okでした。バッチファイルでも、作っておくといいようです。
これまでうまくいかなかった、Gitの操作なども問題なくできるようになりました。

（追伸）Eclipseも、プロキシー認証あるとネット利用がうまくいかないようです。

同様にMapeを利用し

Eclipse　設定＞一般＞ネットワーク＞Nativeにします。

　接続先は127.0.0.1:8888となっている必要があります。

　バイパスは localhostなどとしてやるとうまくいくようです。

2019年4月21日日曜日

安全なMT車

MT車に対して　AT車は、構造上　アクセルとブレーキを踏み間違いやすく　事故も起こりやすいらしい。統計上もAT車はMT車の２倍の事故率だとか。特に　年齢が高くなってきたら　MT車のほうがいいようだ。これまでMT車しか買ったことがない。今の乗っている車は、１３年めの車なので、あと少しで買い替えだが、次も安全でしかも安価なMT車にしようかと思っている。唯一心配なのは、MT車の車種が減ってきていることだが...。
https://www.webcartop.jp/2018/04/224826

2019年4月12日金曜日

無料サイトについて

　これまで、herokuで、javascriptをサイトに置いて使っていましたが、c9が完全にawsに移行することになってしまい。c9とherokuを連携して使うという方法がとりにくくなってしまいました。
　そこで、新たにvisual studio codeで作成したものをgit　hubへアップする方法を考えてみました。rails等を使うほどのものでなくjavascript程度ならこれで十分なようです。
　https://gh6141.github.io/gitdrill/index.html

2019年2月15日金曜日

NTPで時間校正のためのシェルスクリプト

#!/bin/sh
wget http://ntp-a1.nict.go.jp/cgi-bin/time -O ntpTime.txt
TIME_STR=`cat ntpTime.txt`
date -s "$TIME_STR"
としてみたら、うまくきました

2019年2月7日木曜日

ドアレバーが壊れる

ドアレバーの遊びが大きくなってしまい、自分で修理に挑戦。近所のDIYストアで交換部品を探して、ほぼ同じサイズだろうと思って買ってきたが、微妙に入らない。ほんの２,3mmの違いなのだけどだめでした。いったん返品し、今度はネットで購入。
https://www.amazon.co.jp/gp/product/B00B97YTM8/ref=ppx_yo_dt_b_asin_title_o00__o00_s00?ie=UTF8&psc=1
こちらは、うまくいきました。ロックする部分の向きを１８０度回転させる必要ありましたが、だいじょうぶでした。

windows serverの共有をUbuntuでマウントができない現象

mount.cifs //172.31.42.120/test /mnt/test -o username=user,password=pass,sec=ntlm,dir_mode=0755,file_mode=0755
などとしても、うまくいかない
https://translate.google.co.jp/translate?hl=ja&sl=en&tl=ja&u=https%3A%2F%2Fwww.linuxquestions.org%2Fquestions%2Fshowthread.php%3Fs%3D2c4f70825da2fc6b97e353207e1d262f%26p%3D5900321&anno=2
によれば、ver=0.3を追加すればいいとか。試してみたら、うまくいった。

登録: 投稿 (Atom)