わり算ひっ算 改良版（Elm）

 今回は、以前作ったわり算アプリを、ひっ算の計算をひとつひとつ丁寧にチェックしていけるようなアプリにしてみた。

　C#でも似たようなアプリを作ったことがあったが、複雑さに対応しきれず、半端なもので終わってしまった。ELMなどの関数型だと、少し複雑になっても、なんとかなるようだ。

https://gh6141.github.io/gitdrill/src/WarizanH3.html

module WarizanH3 exposing (..) import Browser import Html exposing (..) import Html.Attributes exposing (..) import Html.Events exposing (..) import Json.Decode as Json import Array exposing (Array) import Task import Bootstrap.Button as Button import Bootstrap.CDN as CDN import Bootstrap.Utilities.Spacing as Spacing import Random import Svg import Svg.Attributes main = Browser.element { init = init , update = update , view = view , subscriptions = subscriptions } type alias Model = { hijosu:String ,josu:String ,ans:String ,nyuryoku:String ,ansdisp:Bool ,seed:Sd ,kirikae:String ,sublockl:List SuBlock ,sublocklT:List SuBlock ,currentIchi:(Ichi,Kt) ,renzoku:Int ,junjo:List (Ichi,Kt) ,jido:String ,amariflg:Bool } type alias Sd={s1:Int,e1:Int,s2:Int,e2:Int} type Sss=Sho|Seki|Sa|Nowhere type Kt=K10|K1 type alias Basho={idx:Int,basho:Sss,sidx:Int,kurai:Kt} type alias Suji= { kurai10:Char ,kurai1:Char ,ix:Int ,iy:Int } type alias SujiL= List Suji type alias SuBlock= { sho:Suji ,sekigyo:SujiL ,sagyo:SujiL ,idx:Int } type alias Ichi= {xx:Int,yy:Int} init : () -> (Model, Cmd Msg) init _ = ( {hijosu="100",josu="2",ans="50",nyuryoku="",ansdisp=False,seed={s1=19,e1=99,s2=19,e2=99},kirikae="商をたてる" ,sublockl=[ {sho={kurai10='□',kurai1='?',ix=-1,iy=0},sekigyo=[{kurai10='0',kurai1='□',ix=-2,iy=1},{kurai10='0',kurai1='□',ix=-1,iy=1}],sagyo=[{kurai10='□',kurai1='□',ix=0,iy=2}],idx=1} ,{sho={kurai10='□',kurai1='□',ix=0,iy=0},sekigyo=[],sagyo=[],idx=1}] ,sublocklT=[ {sho={kurai10='0',kurai1='5',ix=-1,iy=0},sekigyo=[{kurai10='0',kurai1='1',ix=-2,iy=1},{kurai10='0',kurai1='0',ix=-1,iy=1}],sagyo=[{kurai10='0',kurai1='0',ix=0,iy=2}],idx=1} ,{sho={kurai10='0',kurai1='0',ix=0,iy=0},sekigyo=[],sagyo=[],idx=1}],currentIchi=({xx=-1,yy=0},K1) ,renzoku=0 ,junjo=[({xx=-1,yy=0},K1),({xx=-2,yy=1},K1),({xx=-1,yy=1},K1),({xx=0,yy=0},K1),({xx=0,yy=2},K1)] ,jido="ナビなし" ,amariflg=False } , Cmd.none ) type Msg = Next | Newmon (Int,Int) |Amari (Int,(Int,Int)) | Btn Int |Btn2 Sd |Kirikae |Suj (Ichi,Kt) |Jido |Amarif update : Msg -> Model -> (Model, Cmd Msg) update msg model = let mhenkan i1 i2 = (i1,i2) monGenerator = Random.map2 mhenkan (Random.int model.seed.s1 model.seed.e1 ) (Random.int model.seed.s2 model.seed.e2 ) --aru ichi,kt ni char wo set sbset ichi char ktx sblst= let sblst1= List.map (\blk-> let ichixx=ichi.xx ichiyy=ichi.yy in {blk| sho= {kurai1=(if (ichi.xx==blk.sho.ix && ichi.yy==blk.sho.iy) then char else blk.sho.kurai1) ,kurai10=blk.sho.kurai10 ,ix=blk.sho.ix,iy=blk.sho.iy } ,sekigyo= let ffsb sj = {sj|kurai1= if (ichixx==sj.ix && ichiyy==sj.iy && ktx==K1 ) then char else sj.kurai1 ,kurai10= if (ichixx==sj.ix && ichiyy==sj.iy && ktx==K10 ) then char else sj.kurai10 } in List.map ffsb blk.sekigyo ,sagyo= let ffsbsa sjx = {sjx|kurai1= if (ichixx==sjx.ix && ichiyy==sjx.iy && ktx==K1 ) then char else sjx.kurai1 ,kurai10= if (ichixx==sjx.ix && ichiyy==sjx.iy && ktx==K10 ) then char else sjx.kurai10 } in List.map ffsbsa blk.sagyo } ) sblst in sblst1 -- aru ichi,kt no char wo shutoku shutoku ichi ktxx sblst= let sblst1= List.filterMap (\blk-> let ichixx=ichi.xx ichiyy=ichi.yy in if (ichi.xx==blk.sho.ix && ichi.yy==blk.sho.iy) then Just blk.sho.kurai1 else let ffsb sj= if (ichi.xx==sj.ix && ichi.yy==sj.iy ) then if ktxx==K1 then Just sj.kurai1 else if ktxx==K10 then Just sj.kurai10 else Nothing else Nothing sekij= (List.head (List.filterMap ffsb blk.sekigyo)) saj= (List.head (List.filterMap ffsb blk.sagyo)) in if sekij==Nothing then saj else if saj==Nothing then sekij else Nothing ) sblst in Maybe.withDefault '*' (List.head sblst1) zlSakusei sblst = -- List (ichi,kt) wo sakusei let sblst1= List.map (\blk-> let shoichi= ({xx=blk.sho.ix,yy=blk.sho.iy},K1) sekigyoichiLo= ( List.concat ( List.map (\sj-> if (sj.kurai10=='0' || sj.kurai10=='@') then [ ({xx=sj.ix ,yy=((if sj.kurai10=='@' then -1 else 1)*sj.iy)},K1)] else [({xx=sj.ix ,yy=sj.iy},K10),({xx=sj.ix ,yy=sj.iy},K1)] ) (List.reverse blk.sekigyo) ) ) sekigyoichiL= --最後から２番目に@があるときは、先頭と次のSujiを交換する必要がある yy<0 でわかるようにしておく let fstSj= List.head (List.drop ((List.length sekigyoichiLo)-1) sekigyoichiLo) sndSj= List.head (List.drop ((List.length sekigyoichiLo)-2) sekigyoichiLo) nokoriL= List.take ((List.length sekigyoichiLo)-2) sekigyoichiLo in case (fstSj,sndSj) of (Just ic1,Just ic2) -> if (fst ic2).yy<0 then nokoriL++[ic1] ++ [({xx=(fst ic2).xx ,yy= (abs (fst ic2).yy) },(snd ic2))] else sekigyoichiLo _ -> sekigyoichiLo sagyoL= ( List.map (\sj-> ({xx=sj.ix ,yy=sj.iy},K1) ) (List.reverse blk.sagyo) ) in shoichi::(sekigyoichiL++sagyoL) ) (sblst ) in (List.concat sblst1) -- aru ichi,kt no ato wo shutoku jshutoku ichi ktxx ichiZenList= let fncc idx ichx =(idx,ichx) pizlst=List.indexedMap fncc ichiZenList --List (idx,ichi) --一致する位置さがす tmpsblst= List.filter (\ixichi->(fst (snd ixichi)).xx==ichi.xx && (fst (snd ixichi)).yy==ichi.yy && (snd (snd ixichi))==ktxx ) pizlst tmpd= Maybe.withDefault (0,({xx=0,yy=0} ,K1)) (List.head tmpsblst) --次の位置さがす tmpsblst2= List.filter (\ixichi-> (fst ixichi)==((fst tmpd)+1) ) pizlst in (snd ( Maybe.withDefault (0, ({xx=1,yy=0} ,K10) ) (List.head tmpsblst2) )) --該当ないときは、関係ない位置指定 in case msg of Next -> ( model , Random.generate Newmon monGenerator ) Newmon tpl -> let m1x=fst tpl m2x=snd tpl ahenkan amari = (amari,(m1x,m2x)) monGA = Random.map ahenkan ( if model.amariflg then (Random.int 1 (m2x-1) ) else (Random.int 0 0) ) in (model, Random.generate Amari monGA) Amari tpl2 -> let amr=fst tpl2 tp=snd tpl2 m1=fst tp m2=snd tp hij=m1*m2+amr hijosuo=String.fromInt hij josuo=String.fromInt m2 anso=String.fromInt m1 jsolen=(String.length josuo) ansL=String.length anso fnChrToSbc iix ch= { --iix:sho　何文字目か 0~ sho={kurai10='0',kurai1=ch,ix=iix+1-ansL,iy=0} ,sekigyo= let sglt= List.map (\idx-> -- idx:josu sentokara 1~ let kake=(toint (String.dropLeft (jsolen-idx) josuo) )* (tointc ch) kakes="0"++(String.fromInt kake) tmp1=String.dropRight (idx-1) kakes tmp2=String.dropRight 1 tmp1 in { kurai10= Maybe.withDefault '0' (List.head (String.toList (String.right 1 tmp2))) ,kurai1= Maybe.withDefault '0' (List.head (String.toList (String.right 1 tmp1))) ,ix=iix-ansL-idx+2 ,iy=2*iix+1 } ) ( List.reverse (List.range 1 jsolen ) ) hdp= Maybe.withDefault {kurai10='0',kurai1='0',ix=0,iy=0} (List.head sglt) hd=hdp.kurai10 ixt=hdp.ix iyt=hdp.iy sglx=if hd=='0' then sglt else {kurai10='0',kurai1=hd,ix=ixt-1,iy=iyt}::( let hdp2={hdp|kurai10='@'} in hdp2::( Maybe.withDefault sglt (List.tail sglt)) ) hd2=(Maybe.withDefault {kurai10='0',kurai1='0',ix=0,iy=0} (List.head sglx) ).kurai1 sgl=if (hd2=='0'&&jsolen>1) then (List.drop 1 sglx) else sglx in sgl ,sagyo= let ansLx=String.length anso hijos1x ke = toint ( if ke<0 then hijosuo++"0" else (String.dropRight ke hijosuo )) kakea idx=(toint josuo)*(toint (suchushutu (idx-1) anso)) fcrx ix acc= (acc+(kakea ix))*10 ruisekix ii= List.foldl fcrx 0 (List.range 1 (ii)) hijo=hijos1x (ansLx-iix-2) rsx=ruisekix (iix+1) sad=hijo - rsx tmp=String.fromInt sad saL=String.length tmp fff idx chh= { kurai10= '0' ,kurai1=chh ,ix=iix-ansLx+idx+(if (String.length anso)==(iix+1) then 1 else (3-saL)) ,iy=2* iix+2 } sagl=List.indexedMap fff (String.toList (if (model.amariflg && (String.length anso)==(iix+1)) then (String.dropRight 1 tmp) else tmp) ) --xx=Debug.log "sagl=" sagl in sagl ,idx=iix+1 -- 1 kara start } sbTinit= List.indexedMap fnChrToSbc (String.toList anso) -- sbltmp=[{sho={kurai10='0',kurai1='?',ix=0,iy=0},sekigyo=[],sagyo=[],idx=1}] kuhaku sblst = let sblst1= List.map (\blk-> {blk| sho= {kurai1='□' ,kurai10=if blk.sho.kurai10 /='0' then '□' else '0' ,ix=blk.sho.ix,iy=blk.sho.iy } ,sekigyo= let ffsb sj = {sj|kurai1= '□' ,kurai10= if (sj.kurai10 /='0' && sj.kurai10 /='@') then '□' else '0' } --test=Debug.log "sekigyo" blk.sekigyo in List.map ffsb blk.sekigyo ,sagyo= let ffsbsa sjx = {sjx|kurai1= '□' ,kurai10= if sjx.kurai10 /='0' then '□' else '0' } in List.map ffsbsa blk.sagyo } ) sblst in sblst1 junjod=zlSakusei sbTinit --test =Debug.log "lst:" junjod --sbset ichix '?' kt model.sublockl --saishono ? sqicx=Maybe.withDefault ({xx=0,yy=0},K1) (List.head junjod) sbltmp=if model.kirikae=="商をたてる" then sbset (fst sqicx) '?' (snd sqicx) ( kuhaku sbTinit ) else ( kuhaku sbTinit ) in ( {model | hijosu = hijosuo,josu=josuo,ans=anso ,nyuryoku=if model.kirikae=="商をたてる" then "?" else "" ,sublocklT=sbTinit ,sublockl=sbltmp ,currentIchi=sqicx ,ansdisp=False ,junjo =junjod } ,Cmd.none) Btn si -> let mans= case si of 10 -> String.dropRight 1 model.nyuryoku 11 -> model.nyuryoku _ -> (String.replace "?" "" model.nyuryoku)++(String.fromInt si) ss= case si of 10 -> "□" -- Cancel 11 -> "" -- to * Ans _ -> (String.fromInt si) sch=Maybe.withDefault '*' (List.head (String.toList ss)) tsch= shutoku (fst model.currentIchi) (snd model.currentIchi) model.sublocklT renzokusu= if sch==tsch then (1+model.renzoku) else 0 nextic=jshutoku (fst model.currentIchi) (snd model.currentIchi) model.junjo --次の位置を、現在の位置から求める tmpsblp=if sch=='*' then model.sublockl else sbset (fst model.currentIchi) (if (tsch==sch || sch=='□') then sch else 'x') (snd model.currentIchi) model.sublockl tmpsbl= if (tsch==sch && model.jido=="ナビなし" ) then (sbset (fst nextic) '?' (snd nextic) tmpsblp) else tmpsblp --正しいなら次の位置に？を表示 nichi= if (tsch==sch && model.jido=="ナビなし" ) then nextic else model.currentIchi --正しいなら、次の数字に位置を設定 in ( {model | nyuryoku= if model.kirikae=="商をたてる" then String.fromList ( List.map (\bl-> bl.sho.kurai1 ) tmpsbl) else mans , ansdisp=if (si==11&&model.ansdisp==False) then True else False -- ,sublockl=model.sublocklT ,sublockl=tmpsbl ,renzoku=renzokusu ,currentIchi=nichi } ,Cmd.none) Btn2 sed -> ( {model | seed=sed } ,Cmd.none) Kirikae -> ({model|kirikae=if model.kirikae=="商をたてる" then "すべて計算" else "商をたてる" ,nyuryoku=if (model.nyuryoku=="" && model.kirikae=="商をたてる") then "?" else "" ,renzoku=0 },Cmd.none) Jido -> ({model| jido=if model.jido=="ナビ" then "ナビなし" else "ナビ" },Cmd.none) Suj tpl -> let ichix= (fst tpl ) kt=snd tpl -- ichi de settei in ({model| sublockl=sbset ichix '?' kt model.sublockl ,currentIchi=(ichix,kt) },Cmd.none) Amarif -> ({model|amariflg=if model.amariflg then False else True},Cmd.none) view : Model -> Html Msg view model = let sbutton : Int -> Html Msg sbutton ii = (Button.button [Button.attrs [style "font-size" "40px" ,onClick (Btn ii)]] [ text (" "++( case ii of 10-> "C" 11-> "A" _ -> String.fromInt ii )++" ")]) sujibutton= table [] [ tr [] [ td [] [sbutton 7] ,td [] [sbutton 8] ,td [] [sbutton 9] ] ,tr [] [ td [] [sbutton 4] ,td [] [sbutton 5] ,td [] [sbutton 6] ] ,tr [] [ td [] [sbutton 1] ,td [] [sbutton 2] ,td [] [sbutton 3] ] ,tr [] [ td [] [sbutton 0] ,td [title "けします"] [sbutton 10] ,td [title "答"] [sbutton 11] ] ] x0=70 y0=80 hwidth=220 tatekankaku=53 sj0=180 ansL=String.length model.ans --hijosuL=String.length model.hijosu hijos1 ke = toint ( if ke<0 then model.hijosu++"0" else (String.dropRight ke model.hijosu ) ) kake idx=(toint model.josu)*(toint (suchushutu (idx-1) model.nyuryoku)) fcr ix acc= (acc+(kake ix))*10 ruiseki ii= List.foldl fcr 0 (List.range 1 ii) tochukeisanL ii= tochukL ii model.nyuryoku (String.fromInt (kake ii) ) (String.fromInt ( (hijos1 (ansL-ii-1)) - (ruiseki ii) ) ) optionsu ii= if (ii==(String.length model.ans) && ( (hijos1 (ansL-ii-1)) - (ruiseki ii) ) ==0 ) then -1 else 0 tochukL ii mnyu skk shh =(rsjtext (x0+sj0) (y0-4) mnyu ((ansL-1)*(-1)) 0) ++ (sjtext (x0+sj0) (y0+44) skk ((ansL-ii)*(-1)) (ii*2-1) ) ++[ sline x0 (y0+2*tatekankaku*(ii)+6) (x0+hwidth) (y0+2*tatekankaku*(ii)+6) 1 "blue" ] ++(sjtext (x0+sj0) (y0+44) shh (ii+(ansL-1)*(-1)+(optionsu ii)) (ii*2) ) -- //////////////////////　Manual calc ////////////////////////////////////// optionsu2 ii= if (ii==(String.length model.ans)) then -1 else 0 tochukL2 ii mnyu kr10 skk shh =(rsjtext (x0+sj0) (y0-4) mnyu ((ansL-1)*(-1)) 0) ++ (sjtext2 (x0+sj0) (y0+44) (String.dropLeft 1 (String.replace "0" "\u{00a0}" kr10)) ((ansL-ii)*(-1)) (ii*2-1) ) ++ (sjtext1 (x0+sj0) (y0+44) skk ((ansL-ii)*(-1)) (ii*2-1) ) ++[ sline x0 (y0+2*tatekankaku*(ii)+6) (x0+hwidth) (y0+2*tatekankaku*(ii)+6) 1 (if shh=="" then "white" else "green") ] ++(sjtext1 (x0+sj0) (y0+44) shh (ii+(ansL-1)*(-1)+(optionsu2 ii)) (ii*2) ) mtochukeisanL ii= tochukL2 ii (slistToString2 model.sublockl) (slistToString3 (sbcToSj ii).sekigyo) (slistToString (sbcToSj ii).sekigyo) (slistToString (sbcToSj ii).sagyo) slistToString :List Suji -> String slistToString slst= String.fromList ( List.map (\sj->sj.kurai1 ) slst ) slistToString3 slst= String.fromList ( List.map (\sj->sj.kurai10 ) slst ) sbcToSj ii=(getAtx (ii-1) model.sublockl ) slistToString2 blst = String.fromList ( List.map (\blk->blk.sho.kurai1 ) blst ) -- mtochukeisanL ii= tochukL ii ("aa") ("bb") mcList= (List.concat ( List.map (\xi-> mtochukeisanL xi ) (List.range 1 (List.length model.sublockl)) )) -- /////////////// svgview= Svg.svg [ Svg.Attributes.viewBox "0 0 400 600" , Svg.Attributes.width "480" , Svg.Attributes.height "600" ] ( [ sline x0 y0 (x0+hwidth) y0 3 "black" ,stext x0 (y0+40) ")" "black" "50px" ,stext (x0+0) (y0+120) ( if ((model.ans==model.nyuryoku) && (model.kirikae=="すべて計算") || (kakuSujiCheck model.sublockl) && (model.kirikae=="商をたてる") ) then "◎" else "　") "red" "300px" ]++(sjtext (x0-50) (y0+44) model.josu 0 0) ++(sjtext (x0+sj0) (y0+44) model.hijosu 0 0) ++ ( case model.kirikae of --"すべて計算" -> (rsjtext (x0+sj0) (y0-4) model.nyuryoku ((ansL-1)*(-1)) 0) ++ (List.concat ( List.map (\xi-> tochukeisanL xi ) (List.range 1 (String.length model.nyuryoku)) )) "すべて計算" -> List.concat ( List.map (\xi-> tochukeisanL xi ) (List.range 1 (String.length model.nyuryoku))) "商をたてる" -> mcList _ -> (List.concat ( List.map (\xi-> tochukeisanL xi ) (List.range 1 (String.length model.nyuryoku)) )) ) ) sline x1 y1 x2 y2 wd color =Svg.line [ Svg.Attributes.x1 (String.fromInt x1) , Svg.Attributes.y1 (String.fromInt y1) , Svg.Attributes.x2 (String.fromInt x2) , Svg.Attributes.y2 (String.fromInt y2) , Svg.Attributes.stroke color , Svg.Attributes.strokeWidth (String.fromInt wd) , Svg.Attributes.strokeLinecap "round" ] [] stext xx yy moji color fs = Svg.text_ [ Svg.Attributes.x (String.fromInt xx) , Svg.Attributes.y (String.fromInt yy) , Svg.Attributes.fill color ,Svg.Attributes.fontSize fs ] [ Svg.text moji ] stextix xx yy moji color fs ix iy kt = Svg.text_ [ Svg.Attributes.x (String.fromInt xx) , Svg.Attributes.y (String.fromInt yy) , Svg.Attributes.fill color ,Svg.Attributes.fontSize fs ,onClick (Suj ({xx=ix,yy=iy},kt)) ] [ Svg.text moji ] func txx tyy tdivx tdivy idx chr = stext (txx+(-idx+tdivx)*tatekankaku) (tyy+tdivy*tatekankaku) (String.fromChar chr) "black" "46px" --indexedMap : (Int -> a -> b) -> List a -> List b sjtext xx yy moji divx divy = List.indexedMap (func xx yy divx divy) (List.reverse (String.toList moji)) func1 txx tyy tdivx tdivy idx chr = stextix (txx+(-idx+tdivx)*tatekankaku) (tyy+tdivy*tatekankaku) (String.fromChar chr) "black" "46px" (-idx+tdivx) tdivy K1 sjtext1 xx yy moji divx divy = List.indexedMap (func1 xx yy divx divy) (List.reverse (String.toList moji)) func2 txx tyy tdivx tdivy idx chr = stextix (txx+(-idx+tdivx)*tatekankaku-17) (tyy+tdivy*tatekankaku-25) (String.fromChar chr) "black" "24px" (-idx+tdivx) tdivy K10 sjtext2 xx yy moji divx divy = List.indexedMap (func2 xx yy divx divy) (List.reverse (String.toList moji)) rfunc txx tyy tdivx tdivy idx chr = stextix (txx+(idx+tdivx)*tatekankaku) (tyy+tdivy*tatekankaku) (String.fromChar chr) "black" "46px" (idx+tdivx) tdivy K1 rsjtext xx yy moji divx divy = List.indexedMap (rfunc xx yy divx divy) (String.toList moji) -- kaku suji check without sho kakuSujiCheck sblst = let funckh :SuBlock -> List Suji funckh sb = (sb.sekigyo ++ sb.sagyo) funckh2 :Suji -> Bool funckh2 sj= sj.kurai1=='□' || sj.kurai10=='□' ||sj.kurai1=='x' || sj.kurai10=='x' ||sj.kurai1=='?' || sj.kurai10=='?' in not (List.any funckh2 (List.concat (List.map funckh sblst)) ) in table [align "center",Html.Attributes.title (if (model.renzoku==0 && model.jido =="ナビ" )then "□をクリックしてから数字をクリックしましょう" else "")] [ tr [] [ td [] [ svgview ] , td [] [ if model.kirikae=="商をたてる" then div [style "font-size" "20px",style "color" "green",title "まちがうと、０ポイントにもどります"] [text (if ( modBy 20 model.renzoku)==19 then if model.renzoku> 200 then "すごいですね。合かく！！" else if model.renzoku> 100 then "すばらしい！！" else if model.renzoku> 50 then "その調子！！" else "いいですね" else (String.fromInt model.renzoku)++"ポイント" )] else div [] [] ,Button.button [Button.attrs [style "font-size" "30px" ,onClick Next]] [ text "つぎへ" ] ,sujibutton ,div [] [ Button.button [Button.attrs [style "font-size" "14px" ,onClick Kirikae,title "計算する・しないをえらべます"]] [ text model.kirikae ] ,Button.button [Button.attrs [style "font-size" "14px" ,onClick Jido,title "つぎのわくに、いどうする・しないをえらべます"]] [ text model.jido ] ,Button.button [Button.attrs [style "font-size" "14px" ,onClick Amarif,title "あまりあり・なしをえらべます" ]] [text (if model.amariflg then "あまりなし" else "あまりあり")] ,span [style "font-size" "40px",style "color" "red"] [text ("\u{00a0}"++(if model.ansdisp then model.ans else "　"))] ] ,div [][ Button.button [Button.attrs [title "１けたの数でわります",style "font-size" "16px" ,onClick (Btn2 {s1=111,e1= 1499,s2= 2,e2= 5})]] [ text "レベル1のもんだい" ] ] ,div [] [ Button.button [Button.attrs [title "２けたの数でわり、答えは３けたです",style "font-size" "16px" ,onClick (Btn2 {s1=111,e1= 299,s2= 11,e2= 29})]] [ text "レベル2のもんだい" ]] ,div [] [ Button.button [Button.attrs [title "２けたの数でわり、答えは２けたです",style "font-size" "16px" ,onClick (Btn2 {s1=11,e1= 99 ,s2=11,e2= 99})]] [ text "レベル3のもんだい" ]] ] ] ] subscriptions : Model -> Sub Msg subscriptions model = Sub.none onChange : (String -> msg) -> Attribute msg onChange handler = on "change" (Json.map handler Html.Events.targetValue) toint st= Maybe.withDefault 0 (String.toInt st) tointc ch= toint (String.fromChar ch) fst tuple = let (value1, _) = tuple in value1 snd tuple = let (_, value2) = tuple in value2 getAt : Int -> List a -> Maybe a getAt idx xs = if idx < 0 then Nothing else List.head <| List.drop idx xs getAtx idx xs = case (getAt idx xs) of Nothing -> {sho={kurai10='0',kurai1='?',ix=0,iy=0},sekigyo=[],sagyo=[],idx=1} Just a -> a fc idx chr = (idx,chr) fc2 ix (idx,chr) = if ix==idx then True else False suchushutu ic suji=String.fromList ( List.map (\tpl->(snd tpl)) (List.filter (fc2 ic) (List.indexedMap fc (String.toList suji) ) ) )

昨日、２回目のコロナワクチン接種

 昨日は、腕が少し痛むぐらいでそれほど気にならなかったが、今朝になってから微熱がある、一日中、だるくてゴロゴロしている状態だった。１回目は、腕の痛みぐらいでとくになんともなかったが、２回目は少しつらい。

整数のわり算（ひっ算）の練習アプリをElmで

 Elmで割り算のひっ算アプリを作ってみた。やはりわり算アプリにはfoldlを使うといいようだ。Elmはちょっとしたアプリを作るにはとても便利だ。

https://gh6141.github.io/gitdrill/src/WarizanH.html

ワクチンうっても油断できない

 　ネットの情報によれば、コロナのワクチンを２回打ったにもかかわらず、高熱が出たりかなりきつい状態になることもあるとのこと。

　インフルエンザワクチンを毎年打ってるけれど、過去に２回ほどインフルエンザにり患した経験がある。いずれも、３８℃～３９℃近くの発熱はあったので、コロナのワクチンも似たようなものなのかも。

　マスクつけずに外出できる日など来るのだろうかと思ってしまう。皆、自分だけは大丈夫と思ってしまいがちですが、そうではなく、今後も十分気を付けてすごす必要があるようです。店での必要最低限の買い物・外出だけにする。マスク・手洗いの徹底。人との間隔に注意する。日光・運動・睡眠・栄養に注意。

半導体供給不足とWin11

　 Win10が数年後サポートを終え、Win11になるようですが、対応PCの水準が高いため、かなりの割合のPCが更新必要になりそうです。半導体の供給不足があと何年かは続くことも予想されています。だいじょうぶなのでしょうか。予想されるパターンは？

・Windows離れが進む。（Mac,Linux,Chrome,Androidと選択肢も増えている？ドライバの開発が進むことが前提ですが）

・Win11への移行がなかなか進まない。（WinXpの時のように、結局Win10が延命する？あるいは、対応PCの水準が緩和される？）

・半導体の生産が拡大され、問題なくWin11に移行できる。

※MS社にとっては、Win11に早く移行して、資源をそこに集中できれば、また新しいハードのほうが、何かと開発効率はあがっていいのでしょうが。ユーザーにとってはかなりの負担になります。そのどこに折衷案をもってくるのか、あるいはこのまま押し切るのか、気になるところです。

　ちなみに、自分が使っているデスクトップはi7の第二世代なので、Win11は無理です。最近、CPUファンが故障して交換したばかりです。あと２～３年は使い、そのあとどうするかもう少し考えたいと思っています。TPMが今後、セキュリティ上必須のものになるのであれば、考え直さなければなりませんが、その判断のためにはもう少し勉強が必要なようです。

※その後、2022年には、半導体不足も改善されそうという報道もでたようです。2021/7/28

Elm Katexのinline表示の不具合修正

　 Elm Katexの数式表示ができるようにはなったものの、Viewを更新すると数式が、どんどん追加されてしまう現象が起きてしまった。Elmのバージョンの違いの影響だろうか。

　domの様子を解析してみると、どうやら勝手に式表示のためのspanが追加されてしまうことが原因だとわかる。Elmで、対象の要素に適当にclass名("inline")をつけて、それをもとに、不要なものを削除する方向で試したら、なんとか修正できた。

じつは、discourseに質問していたが、結局、リプライを待つあいだ、自己レスという結果に。リプライがなかったのは、英文表現がまずかった？あるいは、あまり興味をひくトピックではなかった？

  Elm側: htmlGenerator isDisplayMode stringLatex = case isDisplayMode of Just True -> div [style "font-size" "30px"] [ text stringLatex ] Just False -> span [style "font-size" "30px",class "inline"] [ text stringLatex ] Nothing -> span [style "font-size" "30px",class "human"] [ text stringLatex ] divkatex lstkatex= lstkatex |> List.map (K.generate htmlGenerator) |> div [class "katexl"] Html側： var opt = { delimiters: [ { left: "$begin-inline$", right: "$end-inline$", display: false }, { left: "$begin-display$", right: "$end-display$", display: true } ]}; document.addEventListener("DOMContentLoaded", function() { renderMathInElement(document.body, opt); }); var ilns = document.getElementsByClassName('inline'); document.addEventListener("DOMSubtreeModified", function() { renderMathInElement(document.body,opt); for(var i = 0 ; i < ilns.length ; ++i){ if (ilns[i].childElementCount>1) { ilns[i].removeChild(ilns[i].lastChild) ; }else{ } }; });

TP-Link BlueTooth 接続不具合

 Windows　Updateのせいだろうか。Ｗin10デスクトップのUsb　Bluetoothがいつの間にか接続できなくなっていた。Win10は自動でデバイスドライバが入ることになっているらしいが、うまくいかなくなっている。

　試しに、サポートのサイトからドライバ（Win7,8用のようだが）をダウンロードしてインストールしてみた。１回目うまくいかない。２回目、いったん削除して、再インストールし設定をいろいろ変えてみた。それでもだめだった。３回目、試しに再インストール後、再起動してから、接続を試してみたらようやくうまくいった。意外と手間取ってしまった。デスクトップはいろいろ拡張性があっていいのだけど、こういったこまごまとした不具合の対応は自分でやらなければならないのが、大変だ。オールインワンのノートPCのほうが、手間がかからないのかもしれないと最近感じる。