Rodhos Soft

備忘録を兼ねた技術的なメモです。Rofhos SoftではiOSアプリ開発を中心としてAndroid, Webサービス等の開発を承っております。まずはご相談下さい。

初歩的な事項

WKWebView

iOSWorksのWebAppTestにサンプルコードを作った。

初歩

0. import WebKitがいる。
1. 古いOSに対応させる場合、WKWebViewは直接生成する必要がある。
2. WKNavigationDelegateのnavigationActionのrequestでwebView側でURLが変更された際の情報が入ってくる。decisionHandlerで許可判断する。iOS側からは webView.load
3. URLはURLComponentsでURLを分解するとクエリなどが簡単に取得できる。
4. evaluateJavaScriptでjavascriptを実行できるので定義しておいた関数等を呼べる。
5. html等のファイルはBundle.main.path(forResource:でpathが取得できる。

html系

1. document.location = url でそのURLに切り替えられる。
2. encodeURIComponentでURLエンコーディングできる。
3.jqueryでidを$("#hoge")で取得.text等を変更などできる。

現在インストールできません

XCode

adhocで現在インストールできませんとでる。
プロビジョニング等を調べたが正常、クリーンもだめだった。
デバイスのログを辿ったところ、symblinkでエラーになっており、
ipaファイルの中身を調べたところコードシグネチャーのファイル内に
PCのXCodeのderivedDataを指しているところをみつけた。DerivedDataの削除をして再アーカイブしたところ無事に通った。

ゲーデル数

プログラム理論

形式言語における文字列(もしくは数学的オブジェクト)に数を対応させること。そうすれば数の理論で扱える。

enc([x1,x2,..xn]) = 2^x1 3^x2 5^x3 ...pn^xn

素因数分解の一意性があるので１対１(nが無限だとどうなるの？）

そうすると推論が関数化される。

文字の抽出等

正規表現 
        case writeError          | 書き込みエラー |

等を

        case writeError = "writeError" // 書き込みエラー

と書き換えたかった。

正規表現は

case\s([a-zA-z]*)\s*\|(.*)\|

を

case $1 = \"$1\" //$2

におきかえるとうまくいった。